unsigned int -> dof_id_type fix