Fixing up some comment headers.