fix Travis failure from #2326