More DofMapBuilder clean-up.