bugfix for non-restrict crawler ode