minor clarification in generate if