superfluous trailing space before `];`