StringSet: fix: strings sharing the same pointer can differ in length.