Fix formatting of the documentation.