Fix errors in 2011-05-29 change to Lisp manual.