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 ae7d03c05f24b857bbbdbcf3dafbf8ecc6c286ab)
@@ -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 ae7d03c05f24b857bbbdbcf3dafbf8ecc6c286ab)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup libc
+/** @addtogroup libc
  * @{
  */