Cleaned up file names in Doxygen comments