fix test_intentional_fault