Minor correction in FSM