fix #8861: case insensitive string comparison for term comparator