Fix make-reverse-comparator