notes.txt: minor corrections