Minor fixes to header comments