textGUI: give names to the return values