Typos.

Thanks to A. Bram Neijt (see #2045).