Build fix: removed some uses of nextNumber that I missed last time.