Minor HTML end-tag cleanup