Minor improvement of the documentation.