fix the php program