correct gensym.