(comment tweak only; no functional change)