diff --git a/ChangeLog b/ChangeLog
index d8a8d1fc2..103706af0 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2011-03-09  Colin Watson  <cjwatson@ubuntu.com>
+
+	* docs/grub.texi (Simple configuration): Tidy up formatting.
+
 2011-03-07  Szymon Janc <szymon@janc.net.pl>
 
 	* grub-core/fs/zfs/zfs.c (zap_leaf_lookup):
diff --git a/docs/grub.texi b/docs/grub.texi
index 590e6afb7..83bd80023 100644
--- a/docs/grub.texi
+++ b/docs/grub.texi
@@ -1036,8 +1036,8 @@ it as a new default entry for use by future runs of GRUB.  This is only
 useful if @samp{GRUB_DEFAULT=saved}; it is a separate option because
 @samp{GRUB_DEFAULT=saved} is useful without this option, in conjunction with
 @command{grub-set-default} or @command{grub-reboot}.  Unset by default.
-The remarks of @pxref{Changes from GRUB Legacy} on the availability
-of @samp{save_env} apply.
+@samp{save_env} may not be available in all situations
+(@pxref{Changes from GRUB Legacy}).
 
 @item GRUB_TIMEOUT
 Boot the default entry this many seconds after the menu is displayed, unless