Sync with HTML.