very minor documentation changes