Improve comment in fsm_process_event()