diff --git a/src/plfa/part1/Naturals.lagda.md b/src/plfa/part1/Naturals.lagda.md
index 1444ecd9..73ff4824 100644
--- a/src/plfa/part1/Naturals.lagda.md
+++ b/src/plfa/part1/Naturals.lagda.md
@@ -990,6 +990,3 @@ move the cursor onto the character and use `quail-show-key` with:
 
 You'll see a key sequence of the character in mini buffer.
 If you run `M-x qualy-show-key` on say `∸`, you will see `\.-` for the character.
-
-We write `C-b` to stand for control-b, and similarly.  One can also navigate
-left and right by typing the digits that appear in the displayed list.