diff --git a/doc_src/doc.hdr b/doc_src/doc.hdr
index 771803224..3999bf37e 100644
--- a/doc_src/doc.hdr
+++ b/doc_src/doc.hdr
@@ -105,11 +105,14 @@ would remove the two files 'cumbersome' and 'filename.txt'.
Some characters can not be written directly on the command line. For
these characters, so called escape sequences are provided. These are:
-- '\\n', escapes a newline character
-- '\\t', escapes the tab character
+- '\\a', escapes the alert character
- '\\b', escapes the backspace character
-- '\\r', escapes the carriage return character
- '\\e', escapes the escape character
+- '\\f', escapes the form feed character
+- '\\n', escapes a newline character
+- '\\r', escapes the carriage return character
+- '\\t', escapes the tab character
+- '\\v', escapes the vertical tab character
- '\\ ', escapes the space character
- '\\$', escapes the dollar character
- '\\\\', escapes the backslash character
@@ -259,7 +262,7 @@ $argv should be called when ll is invoked. $argv is an array
variable, which always contains all arguments sent to the function. In
the example above, these are simply passed on to the ls command. For
more information on functions, see the documentation for the function builtin.
+href='builtins.html#function'>function builtin.
\subsubsection Autoloading functions