Fixing version numbers for releasing