[and, on actually revisiting this code, it looks like this gets set even during normal code flow. So yeah, it's weird.]