Any suggestion on who to report the bug? In principle, pdftex bugs are best reported to ntg-pdftex at ntg.nl, but in practice, Akira, Thanh, or I are the only ones likely to look at it, and Akira and I are on this list too, so close enough :). Will see what we can see ... thanks for the report, karl.