Then, he needs to provide the old I-94 (h4) to the US Customs/CBP when he leaves US for Canada and get the new I-94 (F1) when he comes back.