diff --git a/INSTALL b/INSTALL
index 3ba805d88..e50507dda 100644
--- a/INSTALL
+++ b/INSTALL
@@ -1,5 +1,5 @@
 Ok, so you have downloaded the XML source. Now what? You are probably
-wanting to convert these XML files to easier to read HTML, PS, PDF, txt
+wanting to convert these XML files to easier to read HTML, PS, PDF, TXT
 or other formatted files. All that can be read below.
 
 Let's start by downloading some software.