Add clarity to Lisp appendix