Fix another PHP Notice