Minor adjustments to php.ini