Small php notice fix