Another small bugfix for indeterminate state