Proper restart

[refnrev]

Had a HS tourney yesterday. 4 boys games and 1 girls. Fed rules. I had a first and want your feedback. In game 1 at the whistle for a kick off defending mid runs into the center circle before the ball is touched by the offense. I whistle and call for a rekick. My partner, a grade 6 USSF and IHSA official -- very good, too, I might add -- states that since it was encroachment we would restart with an indirect from the spot of the encroachment. Makes sense, however, I have always just seen the kick retaken from center of the circle. Which is actually the proper restart. I guess thinking about it leads me to go with the IFK at the spot of infraction. Yay or Nay?