* minor fix in fsm implementation