documentation for #7704