DebugInfo: Correct comment & re-format a nearby loop