Doxygen: Fix typo.