How much post-processing?

Admirers

I had my ultra wide angle on my camera when I came across these two little admirers of the show, my quick reaction was to capture the expressions, and alas, found myself with too much distortions of my liking.  A quick slider on Lightroom would solve the "problem", but by how much?? I have to trust my own intuition. Here's what I've done....

Admirers take 2