Minor change to php.ini section, for clarity.