--- VirtualBox-4.2.0/src/VBox/Main/webservice/websrv-wsdl.xsl.dist	2012-09-04 15:48:44.000000000 +0300
+++ VirtualBox-4.2.0/src/VBox/Main/webservice/websrv-wsdl.xsl.dist	2012-09-30 03:29:38.000000000 +0300
@@ -958,8 +958,8 @@ 
 <xsl:template match="library">
   <definitions
         name="VirtualBox"
+        xmlns="http://schemas.xmlsoap.org/wsdl/"
         xmlns:wsdl="http://schemas.xmlsoap.org/wsdl/">
-    <xsl:attribute name="xmlns">http://schemas.xmlsoap.org/wsdl/</xsl:attribute>
     <xsl:attribute name="targetNamespace"><xsl:value-of select="$G_targetNamespace" /></xsl:attribute>
     <!-- at top of WSDL file, dump a <types> section with user-defined types -->
       <xsl:comment>