Changing the filename in the comment.

Ideally this would not be in the header files. Need to find a way to
eliminate this file.