Get rid of unnecessary cast in DofMap::dofs().