get rid of Sexpable stuff