bug fix in set_version