Update docs for #407.