Correcting travis configuration