You're right, the correct restart would be an indirect free kick: according to Law 12
"An indirect free kick is also awarded to the opposing team if, in the opinion of
the referee, a player
commits any other offence, not previously mentioned in Law 12, for which
play is stopped to caution or...