[NTG-pdftex] possible bug