fix sexp symbol-name