Fix for dof_id_type != unsigned int