saveProgramState after setting DotCorrect