docu: fixing Doxygen sources
docu: minor fix for Doxygen's markdown parsin