don't warn on DTD instrs