Fix a PHP notice