Fix 4942 (torture notebook)