minor change to download.hh