Minor HTML and other fixes.