  We simplify the proof of a Gaussian correlation inequality for
plurisubharmonic functions found by Barthe and Cordero-Erausquin. The new
observation is a second-order integration-by-parts formula in the complex
Gaussian setting.
