A small debug in the GUI