Correct typing
Update NASA benchmark download status