bugfix: write out correct dtd, so the generated file can be read in again.
Authored by: mrieser 2009-04-18
Parent: [r6500]
Child: [r6502]