Much more color and contrast in the trees thanks to some simple editing in the Lab color space. The edited layer was duplicated and the sky darkened by putting the duplicate layer mode to multiply. A channel mask was generated by manipulating a copy of the blue channel, then added as a layer mask to the multiplied layer. This allowed only the sky to be darkened and not the foreground. A much nicer sky.