XML DTD: minor change in DTD file