diff --git a/collects/lang/htdp-langs.ss b/collects/lang/htdp-langs.ss
index 3ab8d0fec8..e0b778cbeb 100644
--- a/collects/lang/htdp-langs.ss
+++ b/collects/lang/htdp-langs.ss
@@ -1064,7 +1064,7 @@
                                                [source (car cms)]
                                                [pos (cadr cms)]
                                                [span (cddr cms)])
-                                          (if (is-a? source text%)
+                                          (if (path? source)
                                               (list (make-srcloc source #f #f pos span))
                                               (loop (cdr cms))))]))
                               '()))]
@@ -1085,7 +1085,7 @@
         (let ([source (syntax-source source-stx)]
               [start-position (syntax-position source-stx)]
               [span (syntax-span source-stx)])
-          (if (and (is-a? source text:basic<%>)
+          (if (and (path? source)
                    (number? start-position)
                    (number? span))
               (with-syntax ([expr expr]