Minor updates in coding style.