tweaks to set-repeats