Fix a silly error in #download_sub!