I would go just a bit further, I mean, I would tone it down just a bit more because it's still the brightest part of the photo
Use info panel, measure approximate values that are in the rest of the picture and compare with that brightest part and adjust accordingly