Fix syntax error in gen_fsm example