diff --git a/doc/lispref/ChangeLog b/doc/lispref/ChangeLog
index 8eca2ccf52b..091a6ffda59 100644
--- a/doc/lispref/ChangeLog
+++ b/doc/lispref/ChangeLog
@@ -1,7 +1,8 @@
 2011-07-16  Lars Magne Ingebrigtsen  <larsi@gnus.org>
+	    Tim Cross  <theophilusx@gmail.com>  (tiny change)
+	    Glenn Morris   <rgm@gnu.org>
 
-	* keymaps.texi (Toolkit Differences): New node with text from Tim
-	Cross (tiny change) and Glenn Morris.
+	* keymaps.texi (Toolkit Differences): New node.  (Bug#8176)
 
 2011-07-15  Andreas Schwab  <schwab@linux-m68k.org>