ProcGUI: small simplifications and comments