correct the implementation of run_to in StandardModel