Other fix in Travis file