Fix bad defun.