Fix styling of some comments