If DivFix found 10 problems, them I'm sure there are many more. Its not perfect by any means. Try DivXRepair also.
Or just load the AVI into VirtualDUB, set Audio and Video to Full Processing Mode, set Video compression to Xvid and a bit higher bitrate than the original, then Save AVI. Can take an hour or so but "fixes" many brocken AVI's.