Fix missing documentation for #2259