Removing an obsolete empty HTML tag