Fix Doxygen issues introduced in 997d9e02 (MR !1783)