putStringSet is buggy; implemented workaround