fix <= sign