Fixing some misspellings, from which a migration arose