Minor HTML cleanup