fix bugs on operator <: