Fix spurious return introduced by my earlier patch to DebugInfo