documentation for #793