Minor defect; use const ref instead of copying value (introduced 25 June; I missed it on an earlier sweep)