Minor modification of the documentation.