Fixing more typos, based on feedback