Eliminate some duplicated HTML.