Small clarification in comments