Fixes from Sindre's notes
Typo fixes