diff --git a/collects/string-constants/private/english-string-constants.rkt b/collects/string-constants/private/english-string-constants.rkt
index 9d03f9bdc4..acbc65b792 100644
--- a/collects/string-constants/private/english-string-constants.rkt
+++ b/collects/string-constants/private/english-string-constants.rkt
@@ -225,7 +225,7 @@ please adhere to these guidelines:
  (jump-to-error "Jump to Error")
  (online-expansion-is-disabled "Online expansion is disabled")
  (online-expansion-pending "Online expansion pending ...")
- (online-expansion-finished "Online expansion finished without errors")
+ (online-expansion-finished "Online expansion finished") ;; note: there may still be errors in this case
   
  ;; the online expansion preferences pane
  (online-expansion "Online expansion") ;; title of prefs pane