Fix following Travis failure