diff --git a/collects/help/doc.txt b/collects/help/doc.txt
index 300b07f817..90a76a8b9d 100644
--- a/collects/help/doc.txt
+++ b/collects/help/doc.txt
@@ -294,7 +294,7 @@ Help Desk looks for html documentation in two places:
   1) If an info.ss file defines _'html-docs_ to be a list of
      path strings, Help Desk looks inside those directories
      for html documentation (the paths are treated as
-     relative to the location of the info.ss file)Ï
+     relative to the location of the info.ss file)
 
   2) Help Desk also looks inside each sub-directory in any
      `doc' collection (Help Desk searches all doc