Fixed a bug in odeint.cc