Small bugfix in SuperStringSet