coding style: missing space before `(`