to make the MioInit pass ok