Small change in Travis file