Small addition to docs