--- xenomai/include/rtdm/rtbenchmark.h	2006-03-09 01:13:40.000000000 +0100
+++ rtbenchmark.h	2006-03-09 01:13:24.000000000 +0100
@@ -138,6 +138,7 @@ typedef struct rtbnch_trace_special {
 
 #define RTBNCH_RTIOC_SPECIAL_TRACE_EX   \
     _IOW(RTIOC_TYPE_BENCHMARK, 0x25, struct rtbnch_trace_special)
+/** @} */
 
 /** @} */