This fixes an internal error if some extra tracing is enabled.