Minor clarification in comment