Typo fixes from @mdboom's suggestions