My conclusion of this discussion is that with 8fab871a2a6f the sublocale command immediately visits its target after the qed, which it didn't before. This now causes the command to loop. Is this correct? Clemens