Also fix up the version string in the manual