add migration function (not yet done)