Small error with PHP example in documentation.