Use dof_id_type in misc ex11