Fix a PHP error