Index: kernel/arch/xen32/src/proc/thread.c
===================================================================
--- kernel/arch/xen32/src/proc/thread.c	(revision 3e5cc686bc184b3b53bb88837ae6a2bdc9ab72ce)
+++ kernel/arch/xen32/src/proc/thread.c	(revision 7c5a8dd4544d607500ff99d7bd9652675324b53e)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32proc
+/** @addtogroup xen32proc
  * @{
  */
@@ -35,5 +35,5 @@
 #include <proc/thread.h>
 
-/** Perform ia32 specific thread initialization.
+/** Perform xen32 specific thread initialization.
  *
  * @param t Thread to be initialized.
@@ -44,5 +44,4 @@
 }
 
- /** @}
+/** @}
  */
-