modification for Travis