small documentation changes