Drop another unnecessary tag closing notation