Edit WordPress Plugin Global Translator for w3.org validation.

I wanted to validate this website against w3.org, and ran into a couple of correctable problems. The images in the lower right indicate the certifications that this site has achieved. One problem, was with the plugin, Global Translator,where w3.org validator didn’t like the use of 〈, so I replaced that line with the recommended &. After making this correction, the site validated and the plugin still works.  I edited one file, translator.php.

Note the difference of the line second from the bottom.
Original code

wp3gt2
if ($language == BASE_LANG) {
$url = preg_replace($pattern1, '\\', $url);
} else
if (preg_match($pattern2, $url)) {
$url = preg_replace($pattern2, '\lang=' . $language . '\', $url);
} else {
if (strpos($url,'?')===false)
$url .= '?lang=' . $language;
else
$url .= '&lang=' . $language;
}

}

Modified code
w3gt1

if ($language == BASE_LANG) {
$url = preg_replace($pattern1, '\\', $url);
} else
if (preg_match($pattern2, $url)) {
$url = preg_replace($pattern2, '\lang=' . $language . '\', $url);
} else {
if (strpos($url,'?')===false)
$url .= '?lang=' . $language;
else
$url .= '&lang=' . $language;
}

}

Update: I have applied this change to Global Translator version(s) 0.7.1, 0.8, 0.9, 0.9.1 – 1.0.8.1