Fixed a minor error in Doxygen comments