issue #22: typos