Fix garbled code example (de)