fix typos (mirror for PR #17)