Another fix for Travis...