Documentation

Minor update of the documentation.