Updated patch for #9920 -- fixed if() spacing