diff --git a/collects/syntax/srcloc.rkt b/collects/syntax/srcloc.rkt
index efd1da1ae1..39ca198c3a 100644
--- a/collects/syntax/srcloc.rkt
+++ b/collects/syntax/srcloc.rkt
@@ -118,7 +118,7 @@
     (current-continuation-marks))))
 
 (define (good-known? x src line col pos span)
-  (and (or src line col pos span) #t))
+  (and (or src line col pos) #t))
 
 (define (good-source x src line col pos span) src)
 (define (good-line x src line col pos span) line)