[NTG-context] bug in \over ?