Minor HTML formatting cleanup