fixing typo in repo download script