--- loncom/cgi/decompress.pl	2003/10/20 15:51:51	1.3
+++ loncom/cgi/decompress.pl	2003/10/20 22:38:28	1.4
@@ -81,7 +81,7 @@ END
     }
 }
 print "Content-type: text/html\n\n";
-print '<html><head>'
+print '<html><head>';
 print '<meta http-equiv="refresh" content="0; URL=';
 print "http://$ENV{'SERVER_NAME'}/~$ENV{'user.name'}/$back_path"; print '" />';
 print '</head></html>';
