Correct bad distfile checksum by updating to version 20020710. Only comments changed. Use a distfile with version number, to avoid unnecessary bad checksums again.