On Aug 8, 11:22pm, Oliver Kiddle wrote: } } Has anything been done about the bug reported in 35852? I was guessing } that was related to typeset changes. No, nothing has been done about that. It is indeed new in 5.0.8, so the typeset changes are a likely place to look.