Fixing a few typos in #639