Clean up a few typos spotted in #362