Another documentation improvement for #932.