diff --git a/INSTALL b/INSTALL
index 69b9d8a44515dd730550767de301e23e4f7cddf9..ff23e9d046eca95655c8948206f889599501d943 100644
--- a/INSTALL
+++ b/INSTALL
@@ -210,7 +210,7 @@ you are safe.
        export PATH=/usr/local/bin:$PATH
 
    at the end of your ``.bash_profile`` or ``.profile``. Then close
-   the terminal Terminal and reopen it again.
+   the terminal and reopen it again.
 
 4. Install a few prerequisites ::