correct travis setup