Another fix for Travis