Fixes a small bug in StateCondition coding.