Fix some documentation issues
Fix some typos pointed out by Darij Grinberg