Documentation: formatting fixes