Typo in the PHP sample