panel.xml: various formatting fixes