Small addition to the docs