and another minor cosmetic improvement for the duplicates...