Minor bug in nonum