His analysis was restricted to a minimally-coupled scalar field, so that
in his expressions. The extension to an arbitrary coupling constant was carried out by myself for this review.