ProcGUI: small changes while merging with ProcGUISimpler