fix for Travis