Minor addition to documentation