misc_ex9 fixes for dof_id_type != unsigned int