fix the two places where version numbers are off