fix a php error