Fix php example