Formatting fix in documentation.