Fix for a PHP notice