fixup! Further fix up DebugContext synchronization