Minor typo in notes