Some fixes on OrderedStringIndex