Coding style: space after `,`