Bring migration naming in line with file names

Your file names just needed to be fixed. If you press the big green button to merge and then `git pull` in your local repo, it will pull in my changes to fix it. Or you can just rename and edit things manually based on the diff.