Formal Semantics: 5.12.2: markup error

XQuery 1.0 and XPath 2.0 Formal Semantics
W3C Working Draft 16 August 2002

In section 5.12.2 "Typeswitch", under "Static Type Analysis", the
paragraph beginning "Otherwise, the input variable ..." is embedded
in a <div align="center"> that contains the inference rules above
and below it. That is, the structure is like this:

    <div>
        <table>inference rule</table>
        <p>Otherwise, ...</p>
        <table>inference rule</table>
    </div>

However, I'm pretty sure it should be like this:

    <div><table>inference rule</table></div>
    <p>Otherwise, ...</p>
    <div><table>inference rule</table></div>

-Michael Dyck