Comment 3 for bug 1382973

Hi Gunnar;

Thanks for the hint, I did not check all files yet, since I just installed TeXmcs yesterday.
It won't be my first provisorial fix and it defin itely won't be my last.

Thx a lot for quick and competent response,

Michael