Fix an incorrect description of the <= comparison