No that is a fisheye lens, you can clearly see it is not correcting the distortion, see the second image of the Hot Air Balloon in the link you gave.

If that were shot on the Canon 16-35mm lens you wouldn't see the extreme bend towards the edges of the frame, there would be some but it would be more linear as the lens will have corrected some of it for you.

Unless you want to continue arguing the point to the finite detail ???

Cheers

Cris