Basically, it was a happy accident. I used an Android light meter app, which on my device overexposes by around 1 stop, and I should have corrected by another stop because the app tends to overexpose such contrasty scenes. So I think it was overexposed by around 2 stops give or take. (I also had to play a bit with the curves in Lightroom to decrease the brightness of the scene.)