Fix 0.8.2 downloads, which were were not up-to-date.

The downloads somehow failed to include a last-minute change.  Fixes
#1202.