Fix a typo in download_update.php