Fix incorrect code example