Fixing a few typos and formatting