Working out some formatting issues in the docs