Fixing some typos in the notes