@peterrowlett @icecolbeveridge huh! I was convinced I'd written "TeX error". You might be right!