tools/utils/: minor improvements in coding style.