Reduce compiler warnings. Minor fixes.

1 files changed, 2 insertions, 1 deletions

diff --git a/generic/pg-response.el b/generic/pg-response.el
index ee5bb9ba..b34b6b7a 100644
--- a/generic/pg-response.el
+++ b/generic/pg-response.el
@@ -306,6 +306,7 @@ Returns non-nil if response buffer was cleared."
   
 ;; TODO: this function should be combined with
 ;; pg-response-maybe-erase-buffer.
+;;;###autoload
 (defun pg-response-display-with-face (str &optional face)
   "Display STR with FACE in response buffer."
   (cond
@@ -488,7 +489,7 @@ We fontify the output only if we're not too busy to do so."
       (newline))
     ;; If tracing output is prolific, we try to avoid
     ;; fontifying every chunk and batch it up instead.
-    (unless pg-tracing-slow-mode ; defined in proof-shell.el
+    (unless pg-tracing-slow-mode
       (let ((fontifystart (proof-trace-fontify-pos)))
 	;; Catch errors here: this is to deal with ugly problem when
 	;; fontification of large output gives error Nesting too deep