Minor doc comment change.