Issue 1182: Fix fuzzing bug (#1183)