Fix garbled code example for PHP (id)