Minor change to another doc comment.