Fixes PHP example