Fixing some typos in comments