fix typo in getnumcuts