Minor bugfix to migration_version