Bug in ConfigPlugin: re-valuate 'gui.xxx' attributes properly