fix php mistake