correct fsm simulator description