small documentation fix.