saving changes to make ready for new correctness experiments