+2019-05-22  Jan Vrany  <jan.vrany@fit.cvut.cz>
+
+       * gdb.texinfo: Minor formatting fixes.
+
 2019-01-28  Jan Vrany  <jan.vrany@fit.cvut.cz>
 
        * gdb.texinfo (Miscellaneous GDB/MI Commands): Document new
 
 Show a list of completions for partially typed CLI @var{command}.
 
 This command is intended for @sc{gdb/mi} frontends that cannot use two separate
-CLI and MI channels - for example: because of lack of PTYs like on Windows or
+CLI and MI channels --- for example: because of lack of PTYs like on Windows or
 because @value{GDBN} is used remotely via a SSH connection.
 
 @subheading Result
 
 @item max_completions_reached
 This field contains @code{1} if number of known completions is above
-@code{max-completions} limit (see @ref{Completion}), otherwise it contains
+@code{max-completions} limit (@pxref{Completion}), otherwise it contains
 @code{0}.  It is always present.
 
 @end table