fix broken travis setting