Fix sexp_of_exn bug