Minor fix for Travis