correction in the hasnext fsm spec