Minor fix for InterpreterExtendedFailureHandler