Fix trailing `]`