Sony HX5V - barrel distortion at 25mm??

I read somewhere that people had experienced (extreme) barrel distortion at the wide end of the HX5V camera. I have honestly not seen much or thought about it, so I did a test... Seems like this photo (not video) of some boring bricks is ok by me (at 25mm).

Link to original here.

But then this is the "same" scene in AVCHD video, 1920x1080 format, a frame grab:

Link to original here. And the "video" is here.

So... it seems to me that the Sony DSC-HX5V is doing some fancy image processing to correct the barrel distortion when taking photos. That's not that uncommon, the Canon S90 does the same.... Just FYI...