Fix typos in doc/migration.txt