regen docs for #16 #17