Renamed a header file to more accurately reflect its contents.