bugfix in version checking