tiny changes to some comments