Minor revisions to comment headers