Fix some typos in recent comments/notes