Unnecessary `,`