fixed bug where usedAllNumbers was not set