Debugging Simplex migration