Fix typo. Generate dom-core.html.