diff --git a/pkgs/drracket-pkgs/drracket/drracket/private/debug.rkt b/pkgs/drracket-pkgs/drracket/drracket/private/debug.rkt
index e8969ced13..3d27d9258e 100644
--- a/pkgs/drracket-pkgs/drracket/drracket/private/debug.rkt
+++ b/pkgs/drracket-pkgs/drracket/drracket/private/debug.rkt
@@ -1002,7 +1002,8 @@ profile todo:
                            (values #f void)))]
                     [(is-a? file editor<%>)
                      (values file void)]
-                    [else (error 'insert-context "unknown file spec ~e" file)])])
+                    [else 
+                     (values #f void)])])
       (when from-text
         (let* ([finish (+ start span -1)]
                [context-text (copy/highlight-text from-text start finish)])