Correct travis ci config