Travis file fixed