diff --git a/doc_src/design.hdr b/doc_src/design.hdr
index b0b4635ff..2ea220ddb 100644
--- a/doc_src/design.hdr
+++ b/doc_src/design.hdr
@@ -123,7 +123,7 @@ all the common features by simply looking at the user interface and
 guessing what the different buttons, menus and other widgets do. The
 traditional way to discover features in commandline programs is
 through manual pages. This requires both that the user starts to use a
-different program, and the she/he then remembers the new information
+different program, and then she/he remembers the new information
 until the next time she/he uses the same program.
 
 Examples: