Fix typos; fixes #441