notes.md: tweaks