Extra space after the `[`