Fix misnomer in develop.py
Merge pull request #3275 from yakky/feature/migrate

Fix misnomer in develop.py