small bugfix regarding the download