More minor documentation changes