do not envelop sexp
fix typo in the rules
improve debug info