diff --git a/instructor.html b/instructor.html
index 9c26e919..9e03debd 100755
--- a/instructor.html
+++ b/instructor.html
@@ -78,12 +78,12 @@
             url: 'student.html?load=help/quick-start-guide.lurch'
           },
           {
-            title: 'Intro to Proofs in Lurch',
-            url: 'student.html?load=help/proofs-worksheet.lurch'
+            title: 'Instructor menu help',
+            url: 'instructor.html?load=help/instructors-worksheet.lurch'
           },
           {
-            title: 'Lurch for Instructors',
-            url: 'instructor.html?load=help/intructors-worksheet.lurch'
+            title: 'Intro to Proofs in Lurch',
+            url: 'student.html?load=help/proofs-worksheet.lurch'
           },
           {
             title: 'Example Proofs',
diff --git a/lurchmath/editor.js b/lurchmath/editor.js
index 2cbaac10..b684658c 100644
--- a/lurchmath/editor.js
+++ b/lurchmath/editor.js
@@ -307,11 +307,11 @@ window.Lurch = {
                     } )            
                     // Add About Lurch menu item
                     editor.ui.registry.addMenuItem( 'aboutlurch', {
-                        text : 'About Lurch for Math 299',
+                        text : 'About Lurch',
                         // icon : 'help',
-                        tooltip : 'About Lurch for Math 299',
+                        tooltip : 'About Lurch',
                         onAction : () => window.open(
-                            '/lurch', '_blank' )
+                            './about', '_blank' )
                     } )
 
                     // Add red pen menu item