issue #22: numder