Re: layout rule infelicity

Can someone remind me why the "A close brace is also inserted whenever the syntactic category containing the layout list ends" part of the rule is there?

x = (3, case True of True -> 4) The ')' ends the syntactic category 'tuple' Arjan