WINTERMUTE: Fix doxygen formatting