diff --git a/doc_src/index.hdr.in b/doc_src/index.hdr.in
index 050452410..26fc56967 100644
--- a/doc_src/index.hdr.in
+++ b/doc_src/index.hdr.in
@@ -795,7 +795,7 @@ To set the variable \c smurf_color to the value \c blue, use the command
set smurf_color blue
.
After a variable has been set, you can use the value of a variable in
-the shell through variable expansion.
+the shell through variable expansion.
Example: