The World Record is still easily beatable regardless of that fact. The rule did not exist when his run was verified, and it would be unfair to remove the run that was valid at the time.