diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog
index c4a3429a9e..9f01b3365a 100644
--- a/gdb/doc/ChangeLog
+++ b/gdb/doc/ChangeLog
@@ -1,3 +1,8 @@
+2009-02-18  Vladimir Prus  <vladimir@codesourcery.com>
+
+	* gdb.texinfo (GDB/MI Async Records): Add double-spaces
+	between sentences.
+
 2009-02-18  Vladimir Prus  <vladimir@codesourcery.com>
 
 	* gdb.texinfo (GDB/MI Async Records): Document the
diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
index ce959f58bd..10e7388b16 100644
--- a/gdb/doc/gdb.texinfo
+++ b/gdb/doc/gdb.texinfo
@@ -19915,16 +19915,16 @@ that thread.
 @item =library-loaded,...
 Reports that a new library file was loaded by the program.  This
 notification has 4 fields---@var{id}, @var{target-name},
-@var{host-name}, and @var{symbols-loaded}. The @var{id} field is an
+@var{host-name}, and @var{symbols-loaded}.  The @var{id} field is an
 opaque identifier of the library.  For remote debugging case,
 @var{target-name} and @var{host-name} fields give the name of the
-library file on the target, and on the host respectively. For native
-debugging, both those fields have the same value. The
+library file on the target, and on the host respectively.  For native
+debugging, both those fields have the same value.  The
 @var{symbols-loaded} field reports if the debug symbols for this
 library are loaded.
 
 @item =library-unloaded,...
-Reports that a library was unloaded by the program. This notification
+Reports that a library was unloaded by the program.  This notification
 has 3 fields---@var{id}, @var{target-name} and @var{host-name} with
 the same meaning as for the @code{=library-loaded} notification