Fixes Havana version numbers

Change-Id: I3f00dab70f3d600ea25dd39c2d9b9a8d5ce7dac2