One-line fix for crash on bug858a.c