Corrected documentation.

So that markdown looks good while generated at GitHub.