XML validation using DTD (A minor bug)