Fixed a doxigen error.