Fix some typos and formatting in documentation