Fix spurious failure in main/default-test