fixing a typo in the download servlet i committed yesterday.