Bug here, I think the `]` should be a `,`