Fix some cross-references to DOM and HTML