Fix problematic doxygen markup.