fixed up some issues in version.php