Coding style fixes to improve the Jenkins statistics.