A minor update in the documentation.