Rocchi to Inter now official