Re: [NTG-context] Bug in core-spa.tex