diff --git a/docs/grub.texi b/docs/grub.texi
index 1caee8347..fdcd6181d 100644
--- a/docs/grub.texi
+++ b/docs/grub.texi
@@ -2520,11 +2520,10 @@ menu requires several fancy features of your terminal.
 
 Some laptop vendors provide an additional power-on button which boots
 another OS.  GRUB supports such buttons with the @samp{GRUB_TIMEOUT_BUTTON},
-@samp{GRUB_TIMEOUT_STYLE_BUTTON}, @samp{GRUB_DEFAULT_BUTTON},
-@samp{GRUB_HIDDEN_TIMEOUT_BUTTON} and @samp{GRUB_BUTTON_CMOS_ADDRESS}
-variables in default/grub (@pxref{Simple configuration}).
-@samp{GRUB_TIMEOUT_BUTTON}, @samp{GRUB_TIMEOUT_STYLE_BUTTON},
-@samp{GRUB_DEFAULT_BUTTON}, and @samp{GRUB_HIDDEN_TIMEOUT_BUTTON} are used
+@samp{GRUB_TIMEOUT_STYLE_BUTTON}, @samp{GRUB_DEFAULT_BUTTON}, and
+@samp{GRUB_BUTTON_CMOS_ADDRESS} variables in default/grub (@pxref{Simple
+configuration}).  @samp{GRUB_TIMEOUT_BUTTON},
+@samp{GRUB_TIMEOUT_STYLE_BUTTON}, and @samp{GRUB_DEFAULT_BUTTON} are used
 instead of the corresponding variables without the @samp{_BUTTON} suffix
 when powered on using the special button.  @samp{GRUB_BUTTON_CMOS_ADDRESS}
 is vendor-specific and partially model-specific.  Values known to the GRUB
@@ -3510,8 +3509,8 @@ If @samp{timeout_style} (@pxref{timeout_style}) is set to @samp{countdown}
 or @samp{hidden}, the timeout is instead counted before the menu is
 displayed.
 
-This variable is often set by @samp{GRUB_TIMEOUT} or
-@samp{GRUB_HIDDEN_TIMEOUT} (@pxref{Simple configuration}).
+This variable is often set by @samp{GRUB_TIMEOUT} (@pxref{Simple
+configuration}).
 
 
 @node timeout_style