Very minor documentation changes