Correct error in version.php