Thanks!
If it were me I’d try to smooth out that upper right hand corner with a healing brush or clone stamp tool or whatever.
This may be holding me back, but I almost always restrict myself to only cropping and playing with levels/balance/lens corrections in Lightroom, unless there's something major that can easily be fixed. Not saying it wouldn't help here though.
My primary subject and the reason I bought the camera and lens was taking pictures of ballroom dance competitions when I was a member of our team in grad school. I usually took 1-2k pictures in a day at a comp, then went though and rated/filtered/tagged, picked a few good ones per team member, and then tweaked those to post on Facebook so each person could see themselves (over the following week or three). It still ended up being 100-150 photos to edit per comp (2-3 per semester), so if I couldn't do the tweaks in a few minutes in Lightroom natively, it wasn't worth it, especially when the vast majority of the pictures never got printed and only saw the light as recompressed by Facebook into jpeg artifact hell. I've retained that mindset, even though I don't take as many pictures anymore.
[rant] I've seen friend's parents print out the Facebook versions of my pictures and frame them - it makes me twitch. For the last few years I've always included a statement that I'll gladly send anyone the full quality export without a watermark if they ever want to print it. Seeing the pictures like that after the effort I put into editing them (color calibrated screen, high quality lens, time spent tweaking), it's like listening to your favorite symphony recording but at 96kbps CBR mp3. [/rant]