[NTG-context] Bug: delay in \getmarking