Fixed Verified Migration