fix bad version number