fixing version numbers after release