Typos

see issue #1258