The doc string for the ``DownloadConfig`` class says ``proxy_port`` should be an int.