Fixing a doxygen error.