small documentation fix