bug in /wpmu/index.php

$url = substr( "http://".$_SERVER["SERVER_NAME"] . $_SERVER["REQUEST_URI"], 0, -1 );
$base = substr( $_SERVER["REQUEST_URI"], 0, -1 );

results in a missing letter:
$url = http://domain/wpmu/index.ph
$base = /wpmu/index.ph