Fix comment markup typos

Replace </DNF> with </DFN>