Correct bug identified in static analysis