dof_id_type fixes