Minor clarification to a comment