bug fix in version number