some bugfixes in Sexp