update succinct documentation