Minor HTML tweak