Small addition to documentation.