phar-gui: minor fix