#124: fix coding style