--- texvc_cgi.phtml.orig	2003-01-30 07:12:34.000000000 +0100
+++ texvc_cgi.phtml	2003-01-26 07:09:06.000000000 +0100
@@ -10,7 +10,7 @@
 	"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
 <html xmlns="http://www.w3.org/1999/xhtml"><head><title>texvc</title></head><body>
 <?
-print "<form method=\"post\" action=\"{$wgServer}{$wgScriptPath}/texvc_cgi.phtml\">"
+print "<form method=\"post\" action=\"{$wgServer}/texvc_cgi.phtml\">"
 ?>
 <textarea name='math' rows='10' cols='80'><?
     global $math;
