Fix sexp_pop() so it doesn't suck (hopefully).
Minor changes.