fix def / setv example