Minor tweaks to documentation and version.php