Another minor comment tweak