fix a few nasty typos