Correcting typos which somehow snuck in.