fix Travis warning