fix PHP example