Fixing typos found by @jkarneges