Bug fix in Simulator::ode()