Index: uspace/lib/c/generic/device/hw_res.c
===================================================================
--- uspace/lib/c/generic/device/hw_res.c	(revision 84239b1cd7c5ed286263ce4edb649da00b34b249)
+++ uspace/lib/c/generic/device/hw_res.c	(revision 7473807b2cbcf501c8b807c52295d1ef0e1e9f37)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup libc
+/** @addtogroup libc
  * @{
  */
Index: uspace/lib/c/generic/device/pio_window.c
===================================================================
--- uspace/lib/c/generic/device/pio_window.c	(revision 84239b1cd7c5ed286263ce4edb649da00b34b249)
+++ uspace/lib/c/generic/device/pio_window.c	(revision 7473807b2cbcf501c8b807c52295d1ef0e1e9f37)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup libc
+/** @addtogroup libc
  * @{
  */