Removed extra line in defun.lisp