Synched up doc.lisp