Add documentation for #419