Fixes in HTML pages.