Fix a PHP Notice