Fix: "Ponder" option has type bool not int