In a production, there's usually a space between the left-hand-side symbol and the colon(s). However, in a few cases, there isn't:
7.8.6 / Static Semantics: TV's and TRV's / bullets 9, 20, 21, 25
11.1 / Syntax / production 2
11.1.9 / Syntax / productions 2, 3
11.8.1 / Runtime Semantics: Evaluation / rule 5 header
12.2.1 / Static Semantics: BoundNames / rule 4 header
12.2.1 / Runtime Semantics: Evaluation / rule 5 header
12.2.4 / Static Semantics: BoundNames / rule 1 header
12.2.4 / Runtime Semantics: Binding Initialisation / rule 3 header
12.2.4 / Runtime Semantics: Indexed Binding Initialisation / rules 8, 9 header
12.2.4 / Runtime Semantics: Keyed Binding Initialisation / rule 1 header
13.2 / Static Semantics: CoveredFormalsList / rule 1 header
13.5 / Syntax / productions 1, 4
fixed in rev 14 editor's draft
in Rev 14 draft
There are a few remaining/new occurrences of this:
7.8.4 / Static Semantics: Early Errors
RegularExpressionFlags:: ...
11.8.1 / Runtime Semantics: Evaluation / rule 5 header
RelationalExpression: ...
13.3 / Runtime Semantics: Property Definition Evaluation / rule 3 / step 4
Let formalParameterList be the production FormalParameters: [empty]
fixed in rev16 editor's draft
fixed in rev16 draft. July 15, 2013