diff --git a/ch03.asciidoc b/ch03.asciidoc
index bf0bda7b..c0aade9e 100644
--- a/ch03.asciidoc
+++ b/ch03.asciidoc
@@ -47,7 +47,7 @@ $
 
 [TIP]
 ====
-Git is the most widely used distributed version control system, an essential part of any software developer's toolkit. You may need to install the +git+ command, or a graphical user interface for git, on your operating system if you do not have it already.
+((("distributed version control systems")))Git is the most widely used distributed version control system, an essential part of any software developer's toolkit. You may need to install the +git+ command, or a graphical user interface for git, on your operating system if you do not have it already.
 ====
 
 When the git cloning operation has completed, you will have a complete local copy of the source code repository in the directory _bitcoin_. Change to this directory by typing ++**cd bitcoin**++ at the prompt: