Small fix to php snippet.