Properly set version number