Fix typos

Fixes #574