It was wrong before.  It probably passed because the "StateId" is used only for minor things like printing/debugging and (possibly) the lowest priority element of the compare operator.