Documentation: minor formating