Fix typo in Doxygen notation.