Relatively benign bug in troubleshooting.dtd

Hi, While implementing authoring DTDs for DITA 1.3, I stumbled across a relatively benign bug in troubleshooting.dtd.
Specifically, the Troubleshooting DTD calls in strictTaskbodyConstraint.
This constraint is meaningless in <troubleshooting> because <taskbody> is not available.
The only ill effect is that (topic task strictTaskbody-c) needlessly shows up as a value in troubleshooting/@domains.
Best Regards,

--
Bob Thomas +1 720 201 8260 Skype: bob.thomas.colorado Instant messaging: Gmail chat (  ) or Skype Time zone: Mountain (GMT-7)