Correct AIHard Doxygen