fix small bug in comparator.h