minor edits to spacing in comments in header