Documentation: formatting