Fixing some typos and adding some formatting