Fixing a php notice