fix Travis lint