fix version numbers that were somehow hosed up