diff --git a/collects/scribblings/main/private/make-search.ss b/collects/scribblings/main/private/make-search.ss
index 8d31a48fc9..d089969cbb 100644
--- a/collects/scribblings/main/private/make-search.ss
+++ b/collects/scribblings/main/private/make-search.ss
@@ -499,8 +499,8 @@
       else if (event) {
         switch (event.which || event.keyCode) {
           case 13: key = "Enter"; break;
-          case 33: key = "PgUp"; break;
-          case 34: key = "PgDn"; break;
+          case 33: key = "PgUp";  break;
+          case 34: key = "PgDn";  break;
         }
       }
       switch (key) {