Fix bug in gen-numbers