Fix gen_fsm template