[NTG-pdftex] was this a bug