Tidy up "ipsec.widget.php" XHTML.