bug in num