fix the other version number (probably should get rid of this!)