fixing for Travis