Fix a bug in download-pk3-torrent.sh.