fixed bug in update_version.dc