Correct lisp interface.