Fixed a typo in the notes.