Really fix version numbers