More dof_id_type fixes