Correct typos. Fixes #418.