correct travis CI file