[minor] space after `{`