Definition of the function Phi

In Section 40.12 Probability-Related Functions of the User’s Guide and Reference Manual Version 2.16, for the definition of the function Phi it seems that the integral should have a lower limit of -infinity, Is the text correct or the equation correct?

The lower limit should be negative infinity.

Thanks. I’ll fix it for the next manual release: