Fixing a Doxygen warning.