Minor HTML markup fix