More minor documentation changes.