small changes to GUI.java