Added `HTMLDocument` namespace, otherwise no change.