Fixing version number for Travis