CS : Extra WS between `[]`