Correct version.php