php bug fix