diff --git a/src/keyboard.c b/src/keyboard.c
index 7d7faa48b1d..56d94a2c2e9 100644
--- a/src/keyboard.c
+++ b/src/keyboard.c
@@ -3576,7 +3576,7 @@ Zero means disable autosaving due to number of characters typed.");
     "*Number of seconds idle time before auto-save.\n\
 Zero or nil means disable auto-saving due to idleness.\n\
 After auto-saving due to this many seconds of idle time,\n\
-Emacs also does a garbage collection if that seems to be warranted."
+Emacs also does a garbage collection if that seems to be warranted.");
   XFASTINT (Vauto_save_timeout) = 30;
 
   DEFVAR_INT ("echo-keystrokes", &echo_keystrokes,