Fix typos as suggested in the discussion to the pull request