Fix

Remarkably this does not change bench since although the
first "if" block was entered at random due to the uninitialised
variable, the second was always entered correctly.