-small documentation fix