Minor fix in the documentation of seq-random-elt