Update dolfin.rb