Slight formatting fixes for the docs