Doxygen is happy now.