small addition to docs