small update of the documentation