minor typos and formatting changes to documentation