Some of the Doxygen content was not processed correctly by Doxygen. This patch fixes all the issues found.