Documentation: Minor fixes to the markup