fixed some formatting issues in documentation