minor documentation changes