Mini fix for Travis