Minor addition to the documentation