corrected versions for example migration code