refer to migrate() in upgrade instructions