Technically, and in the future, instead of modifying the migration file like this you should create a second migration file to rename this table. It isn't a huge deal right now since we aren't relying on any of this for production and if anyone's dev database gets hosed they can just destroy and re-create, but the practice should be to use migrations.