Correct AIHard doxygen