Fix an issue with the formatting of the documentation.