Minor HTML adjustments