Some tiny changes in coding style (mainly comments)