Update verifySavedState()'s comment, so that it reflects its current