Two tiny clarification comments.