I'm not exactly sure what happened there, but it seems like a recalculation is needed. I'll do that later. <_<
EDIT: I see what happened now. A while back, he submitted a score of 11,520 for Casinopolis / Knuckles, but that stat was suspended. For some reason, the suspension process back then didn't properly recalculate the totals. So we're stuck with this. I'll manually recalculate it later.