diff --git a/collects/drscheme/private/debug.ss b/collects/drscheme/private/debug.ss
index a17f0b9d47..de9ca92344 100644
--- a/collects/drscheme/private/debug.ss
+++ b/collects/drscheme/private/debug.ss
@@ -816,9 +816,10 @@ profile todo:
           (or (send editor get-filename) 
               untitled))))
   
-  ;; open-and-highlight-in-file : srcloc -> void
-  (define (open-and-highlight-in-file srclocs)
-    (let ([sources (filter values (map srcloc-source srclocs))])
+  ;; open-and-highlight-in-file : (or/c srcloc (listof srcloc)) -> void
+  (define (open-and-highlight-in-file raw-srcloc)
+    (let* ([srclocs (if (srcloc? raw-srcloc) (list raw-srcloc) raw-srcloc)]
+           [sources (filter values (map srcloc-source srclocs))])
       (unless (null? sources)
         (let* ([debug-source (car sources)]
                [same-src-srclocs
diff --git a/collects/drscheme/tool-lib.ss b/collects/drscheme/tool-lib.ss
index 6176ef56d7..fea6111376 100644
--- a/collects/drscheme/tool-lib.ss
+++ b/collects/drscheme/tool-lib.ss
@@ -382,7 +382,7 @@ all of the names in the tools library, for use defining keybindings
   
   (proc-doc/names
    drscheme:debug:open-and-highlight-in-file
-   (srcloc? . -> . void?)
+   ((or/c srcloc? (listof srcloc?)) . -> . void?)
    (debug-info)
    @{This function opens a DrScheme to display
      @scheme[debug-info]. Only the src the position