[Bug 233326] TeXmacs-1.0.6.6-22 : dodgy code