small update in documentation before I forget