fix sexp syntax issue