To clarify my last commit message: "undo save" should never be called.