PHP notice bug