Fix to version.php