#248: fix coding style issues