Fix typos; Fixes #841