Bug #13883 SHOW CREATE TABLE shows one space too much

Description:
The result of SHOW CREATE TABLE shows two spaces after "PRIMARY KEY":

CREATE TABLE `test` (
  `Id` int(11) NOT NULL auto_increment,
  PRIMARY KEY  (`Id`)
) ENGINE=MyISAM DEFAULT CHARSET=utf8;

But it should be:
CREATE TABLE `test` (
  `Id` int(11) NOT NULL auto_increment,
  PRIMARY KEY (`Id`)
) ENGINE=MyISAM DEFAULT CHARSET=utf8;

... indeed this bug is not really important ... ;-)

How to repeat:
CREATE TABLE `test` (
  `Id` int(11) NOT NULL auto_increment,
  PRIMARY KEY (`Id`)
) ENGINE=MyISAM DEFAULT CHARSET=utf8;

SHOW CREATE TABLE `test`;

hardly a bug, a cosmetic issue at most,
changed to low priority feature request

The developers are not interessed about our bug messages.

A patch for this bug has been committed. After review, it may
be pushed to the relevant source trees for release in the next
version. You can access the patch from:

  http://lists.mysql.com/commits/2088

Fixed in 5.1.8.

Noted in 5.1.7 changelog.

<literal>SHOW CREATE TABLE</literal> produced extraneous
spaces after the <literal>PRIMARY KEY</literal> keywords. (Bug
#13883)