pr12.find-repeats: fix