Fixed #5290 (Doxygen fixes (32be409))