fixed a php mistake