small update in the documentation