correcting travis config