[basex-talk] BasexGUI (minor) issue