small GUI code change