Fix up themes.xml