Fix typos in doc/version_migration.txt