docs for #7