I haven't added spaces before `[` and `]`. I can do it in another patch if everybody else agrees with this.