Fixing error in PHP example.