Fix for mismatched largest_id_type and dof_id_type