Tweaks to lisp manual to remove over/underflows in printed version.