fix documentation on nested Eq in ode.py