fixed a php error