diff --git a/lisp/ChangeLog b/lisp/ChangeLog
index d8a47842999..3c6eb496366 100644
--- a/lisp/ChangeLog
+++ b/lisp/ChangeLog
@@ -1,5 +1,8 @@
 2002-07-17  Juanma Barranquero  <lektu@terra.es>
 
+	* help-fns.el (describe-function-1): Put empty line before "Not
+	documented" text.
+
 	* timer.el (timer-set-time-with-usecs): Mark obsolete.
 
 2002-07-16  Stefan Monnier  <monnier@cs.yale.edu>
diff --git a/lisp/help-fns.el b/lisp/help-fns.el
index c79aa356b78..7fe85001c3e 100644
--- a/lisp/help-fns.el
+++ b/lisp/help-fns.el
@@ -316,9 +316,8 @@ Return (USAGE . DOC) or nil if there's no usage info."
 	  (princ (if (stringp (car obsolete)) (car obsolete)
 		   (format "use `%s' instead." (car obsolete))))
 	  (terpri)))
-      (if doc
-	  (progn (terpri) (princ doc))
-	(princ "Not documented.")))))
+      (terpri)
+      (princ (or doc "Not documented.")))))
 
 
 ;; Variables