Correcting travis config file