Fix inconsistent version number