little correction in ExtendedStringComparator.contains()