Small addition to documentation