fixup: dolfin ns timings