small documentation bugs