Cleaned spurious characters in Database.inc.php.