John Pye wrote:
> Looks like a bug, right?

A bug in pdflatex. Should be fixed in recent releases of pdflatex.

Jürgen

Reply via email to