Modifying a state machine