--- contrib/swank-arglists.lisp~orig	2015-07-11 22:34:57.000000000 -0400
+++ contrib/swank-arglists.lisp	2015-07-11 22:32:20.000000000 -0400
@@ -1154,13 +1154,21 @@
               (t
                (list
                 (with-available-arglist (arglist) arglist
-                  (decoded-arglist-to-string
-                   arglist
-                   :print-right-margin print-right-margin
-                   :operator (car form)
-                   :highlight (form-path-to-arglist-path form-path
-                                                         form
-                                                         arglist)))
+                  (with-output-to-string (output)
+                    (write-string
+                     (decoded-arglist-to-string
+                      arglist
+                      :print-right-margin print-right-margin
+                      :operator (car form)
+                      :highlight (form-path-to-arglist-path form-path
+                                                            form
+                                                            arglist))
+                     output)
+                    (let ((fdoc (documentation (car form) 'function)))
+                      (when fdoc
+                        (terpri output)
+                        (terpri output)
+                        (write-string fdoc output)))))
                 t)))))))
 
 (defun boundp-and-interesting (symbol)