diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 4197999..6515d25 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -1,8 +1,9 @@
 name: Generate docs
 
 on:
-  - push
-  - pull_request
+  push:
+    branches:
+      - master
 
 jobs:
   gen:
diff --git a/editor.go b/editor.go
index 60eeb0b..d720a41 100644
--- a/editor.go
+++ b/editor.go
@@ -99,7 +99,7 @@ func editorGetLine(t *rt.Thread, c *rt.GoCont) (rt.Cont, error) {
 // #interface editor
 // getChar() -> string
 // Reads a keystroke from the user. This is in a format
-// of something like Ctrl-L.
+// of something like Ctrl-L..
 func editorReadChar(t *rt.Thread, c *rt.GoCont) (rt.Cont, error) {
 	buf := lr.rl.ReadChar()