[#534] Fix a couple of formatting issues in docs