You are right even though I feel that you are nitpicking here, since you probably understood the basic point he was trying to make. But I disagree with tn13 to

You are right even though I feel that you are nitpicking here, since you probably understood the basic point he was trying to make. But I disagree with tn13 too - I'd try to extract X^2.