Fix accidently deleted lines in download.js