There's some gensym issue