Fix typo in doc.

Also, formatting fix.