Fix #92: typos