add documentation for #516