diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog
index 5b9cfc63699..75fb3ce0007 100644
--- a/gdb/doc/ChangeLog
+++ b/gdb/doc/ChangeLog
@@ -1,3 +1,8 @@
+2008-05-03  Vladimir Prus  <vladimir@codesourcery.com>
+
+	* gdb.texinfo (GDB/MI Output Records): Add
+	missing semicolon.
+
 2008-05-03  Vladimir Prus  <vladimir@codesourcery.com>
 
 	* gdb.texinfo (GDB/MI Output Records):
diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
index 636a84b0c4f..957962ca083 100644
--- a/gdb/doc/gdb.texinfo
+++ b/gdb/doc/gdb.texinfo
@@ -18150,7 +18150,7 @@ additional changes that have occurred.  Those changes can either be a
 consequence of @sc{gdb/mi} commands (e.g., a breakpoint modified) or a result of
 target activity (e.g., target stopped).
 
-The following is the list of possible async records
+The following is the list of possible async records:
 
 @table @code