Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove superfluous extra element of numll
This confused me when reading it. This value is never accessed so we don't need it.
- Loading branch information