fix a spurious test failure