Index: kernel/genarch/include/mm/as_ht.h
===================================================================
--- kernel/genarch/include/mm/as_ht.h	(revision f9a56c06291b17dff86c61d294ec807828f33f96)
+++ kernel/genarch/include/mm/as_ht.h	(revision 6767c1d6f97a2bd70e8a35df4f084d7410aa0238)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genarchmm
+/** @addtogroup genarchmm
  * @{
  */
@@ -42,5 +42,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/genarch/include/mm/as_pt.h
===================================================================
--- kernel/genarch/include/mm/as_pt.h	(revision f9a56c06291b17dff86c61d294ec807828f33f96)
+++ kernel/genarch/include/mm/as_pt.h	(revision 6767c1d6f97a2bd70e8a35df4f084d7410aa0238)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genarchmm
+/** @addtogroup genarchmm
  * @{
  */
@@ -42,5 +42,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/genarch/include/mm/page_ht.h
===================================================================
--- kernel/genarch/include/mm/page_ht.h	(revision f9a56c06291b17dff86c61d294ec807828f33f96)
+++ kernel/genarch/include/mm/page_ht.h	(revision 6767c1d6f97a2bd70e8a35df4f084d7410aa0238)
@@ -27,12 +27,10 @@
  */
 
- /** @addtogroup genarchmm
+/** @addtogroup genarchmm
  * @{
  */
-/** @file
- */
-
-/*
- * This is the generic page hash table interface.
+/**
+ * @file
+ * @brief	This is the generic page hash table interface.
  */
 
@@ -88,5 +86,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/genarch/include/mm/page_pt.h
===================================================================
--- kernel/genarch/include/mm/page_pt.h	(revision f9a56c06291b17dff86c61d294ec807828f33f96)
+++ kernel/genarch/include/mm/page_pt.h	(revision 6767c1d6f97a2bd70e8a35df4f084d7410aa0238)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genarchmm
+/** @addtogroup genarchmm
  * @{
  */
@@ -117,5 +117,4 @@
 #endif
 
- /** @}
+/** @}
  */
-