Proper down migration