documentation for #12