fix Travis failure