Adding headers to two files, and renaming a file.

Making a small changes left out in the previous commits