Debug of the escape of LateX comments