remove DH->Sexp stubs