diff --git a/tmp/postinstall b/tmp/postinstall
index 4dc3a7c..bf2be4c 100644
--- a/tmp/postinstall
+++ b/tmp/postinstall
@@ -37,7 +37,7 @@ xmlcatalog --noout --add "delegateSystem" "http://www.oasis-open.org/docbook/" \
 xmlcatalog --noout --add "delegateURI" "http://www.oasis-open.org/docbook/" \
 				       "file:///etc/xml/docbook" /etc/xml/catalog
 
-for DTDVERSION in 4.1.2 4.2 4.3 4.4 do
+for DTDVERSION in 4.1.2 4.2 4.3 4.4; do
 	xmlcatalog --noout --add "public" \
 	                         "-//OASIS//DTD DocBook XML V$DTDVERSION//EN" \
 				 "http://www.oasis-open.org/docbook/xml/$DTDVERSION/docbookx.dtd" /etc/xml/docbook