documentation: formatting