Correcting travis config