diff --git a/collects/tests/typed-scheme/succeed/batched-queue.scm b/collects/tests/typed-scheme/succeed/batched-queue.scm
index 71e1db34..7c2ae9e9 100644
--- a/collects/tests/typed-scheme/succeed/batched-queue.scm
+++ b/collects/tests/typed-scheme/succeed/batched-queue.scm
@@ -82,5 +82,5 @@
 
 ;; TESTS
 
-(= 0 (size (empty)))
+(= 0 (size ((inst empty Number))))