documentation for #677