Otherwise it can show the wrong value when it goes back to the non-indeterminate mode (e.g. after a verification failure).