Fixed a file name discrepancy.

In the doxygen comments there was a misnamed file.