[JDEV] iq:version.dtd. is it correct?

[Soonmyung Hong]

on jabber:iq:version.dtd,

<!ELEMENT query ((name | version | os)?)>


but different style is shown on examples like this.
                                                                                                              
  <iq type="result" to="foo at bar.com">
      <query xmlns="jabber:iq:version">
          <name>WinJab</name>
          <version>0.9.0.52</version>
          <os>NT 4.0</os>
      </query>
  </iq>

it seems like 

<!ELEMENT query ((name, version, os)?)>

or some.
is it correct?