Fixing small problem in the version number