Lisp section: a few changes