fix in Travis file