more obsessive tweaks to lisp.py