Minor dofmap builder fixes.