Thanks a lot for your opinions . Don't you think the corners sometimes actually look more distorted after the correction? As an example, here's the shot. I know it's just a poor snap, but it illustrates well what I'm trying to show you. The first one is the original, second one has default lens correction applied. To me, all the people and the white van in the bottom left corner look actually more natural in the first shot. Is it just me? And yeah, I know the cathedral looks a thousand times better with it's line straightened.
Guess it's always a compromise, isn't it?
In your example most of the distortion is due to converging verticals caused by having the camera not square on to the subject, i.e. pointing upwards.
The lens profile correction only corrects for pincushion and barrel distortion (which it did quite well in your example), if you want to correct for converging verticals you have to either do it in the manual tab or use the appropriate auto correction in the lens correction basic tab and hope that it works. The auto correction for vertical or horizontal convergence are very much hit and miss, when they work they are brilliant but if they don't like your image they can make a total mess.