removed unnecessary file names from Doxygen comments