Thanks, Diego133 (and @DoninGA); that does resolve the issue.
But still, the question remains as to why the download was incomplete in the first place. Is this a known bug? (TTAX - are you listening?).
