diff --git a/lisp/ChangeLog b/lisp/ChangeLog
index 2c566f3fb1f..91befc8b3f7 100644
--- a/lisp/ChangeLog
+++ b/lisp/ChangeLog
@@ -35,6 +35,12 @@
 
 2005-07-04  Juanma Barranquero  <lekktu@gmail.com>
 
+	* progmodes/prolog.el (prolog-eof-string): Doc fixes.
+	(prolog-indent-level): Fix typo in docstring.
+
+	* info.el (Info-history, Info-history-forward)
+	(Info-history-list, Info-speedbar-fetch-file-nodes): Doc fixes.
+
 	* add-log.el (add-change-log-entry):
 	* comint.el (comint-dynamic-list-input-ring)
 	(comint-dynamic-list-completions):
diff --git a/lisp/progmodes/prolog.el b/lisp/progmodes/prolog.el
index b6c4dd8c662..9e392547597 100644
--- a/lisp/progmodes/prolog.el
+++ b/lisp/progmodes/prolog.el
@@ -56,8 +56,8 @@
   :group 'prolog)
 
 (defcustom prolog-eof-string "end_of_file.\n"
-  "*String that represents end of file for prolog.
-nil means send actual operating system end of file."
+  "*String that represents end of file for Prolog.
+When nil, send actual operating system end of file."
   :type 'string
   :group 'prolog)
 
@@ -158,7 +158,7 @@ rigidly along with this one (not yet)."
     ))
 
 (defun prolog-indent-level ()
-  "Compute prolog indentation level."
+  "Compute Prolog indentation level."
   (save-excursion
     (beginning-of-line)
     (skip-chars-forward " \t")