diff --git a/INSTALL b/INSTALL
index 6cb6ea5d9..ae9258e50 100644
--- a/INSTALL
+++ b/INSTALL
@@ -68,7 +68,7 @@ Followed by installing openjade by running:
 If you choose option 2, install OpenJade as follows:
 
 	./configure --prefix=/usr \
-	> --enable-default-catalot=/usr/share/docbook.cat:/usr/share/dsssl/docbook/catalog:/usr/share/dsssl/openjade/catalog
+	> --enable-default-catalog=/usr/share/docbook.cat:/usr/share/dsssl/docbook/catalog:/usr/share/dsssl/openjade/catalog
 	make
 	make install
 	cp -av dsssl /usr/share/dsssl/openjade