add missing DebugInfo