Minor HTML modifications.