diff --git a/doc_src/index.hdr.in b/doc_src/index.hdr.in
index 4f773e23e..84eb58cd0 100644
--- a/doc_src/index.hdr.in
+++ b/doc_src/index.hdr.in
@@ -124,7 +124,7 @@ these characters, so called escape sequences are provided. These are:
- '\\*', escapes the star character
- '\\?', escapes the question mark character
- '\\~', escapes the tilde character
-- '\\%', escapes the percent character
+- '\\%%', escapes the percent character
- '\\#', escapes the hash character
- '\\(', escapes the left parenthesis character
- '\\)', escapes the right parenthesis character