Corrects travis config