Minor addition to documentation.