fix for spurious binom() test failure