issue #2920: fix coding style