More typos (fixes #17)