An extra example.  Fixing the DTD file name for the 'bad' example.