dolfin update fix