One more whitespace fix, for Github's RDOC parser.