a little bug in the version managing