Small addition to the docs.