download.py: fix small bug: more format string