Yes, I think we should turn this option off. I don't believe the risk of empty blocks is serious, and any way we express this block of code in a reasonable way would involve one. I don't mind which style we use here.