(defun-prompt-regexp): Fix customize type.