Added the resetoption for high-level controllers.