Fix typo in version.php