Clean up a few typos and formatting