fix php bug