Minor HTML formatting.