I thought the color might be a bit greyish so I clicked on Auto color. I also cloned the bit of wall on the upper left. Ended with some unsharp masking to crisp it up - settings 50-.5-0.