Fix for #4535 (PHP Warning)