menuGUI: harden the code