Correcting version number on CI