fix some formatting issues in docs