Small fix

There was an issue with OrderedStringIndex and RegExps (the "g" modifier
). This is fixed.