Fix small bug in GUI.js