Correcting Travis file