php: Fix example