Index: generic/src/synch/condvar.c
===================================================================
--- generic/src/synch/condvar.c	(revision b6529aefe60a3a99601ed01142f3ae38056aed50)
+++ generic/src/synch/condvar.c	(revision a6dd361b1b93be3250db112f36c9db227c077ff9)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup sync
+/** @addtogroup sync
  * @{
  */
@@ -105,5 +105,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: generic/src/synch/futex.c
===================================================================
--- generic/src/synch/futex.c	(revision b6529aefe60a3a99601ed01142f3ae38056aed50)
+++ generic/src/synch/futex.c	(revision a6dd361b1b93be3250db112f36c9db227c077ff9)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup sync
+/** @addtogroup sync
  * @{
  */
@@ -336,5 +336,4 @@
 }
 
- /** @}
- */
-
+/** @}
+ */
Index: generic/src/synch/mutex.c
===================================================================
--- generic/src/synch/mutex.c	(revision b6529aefe60a3a99601ed01142f3ae38056aed50)
+++ generic/src/synch/mutex.c	(revision a6dd361b1b93be3250db112f36c9db227c077ff9)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup sync
+/** @addtogroup sync
  * @{
  */
@@ -81,6 +81,4 @@
 }
 
-
- /** @}
+/** @}
  */
-
Index: generic/src/synch/rwlock.c
===================================================================
--- generic/src/synch/rwlock.c	(revision b6529aefe60a3a99601ed01142f3ae38056aed50)
+++ generic/src/synch/rwlock.c	(revision a6dd361b1b93be3250db112f36c9db227c077ff9)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup sync
+/** @addtogroup sync
  * @{
  */
@@ -39,5 +39,6 @@
  *
  * These locks are not recursive.
- * Because technique called direct hand-off is used, neither readers
+ * Because a technique called direct hand-off is used and because
+ * waiting takes place in a single wait queue, neither readers
  * nor writers will suffer starvation.
  *
@@ -385,5 +386,4 @@
 }
 
- /** @}
- */
-
+/** @}
+ */
Index: generic/src/synch/semaphore.c
===================================================================
--- generic/src/synch/semaphore.c	(revision b6529aefe60a3a99601ed01142f3ae38056aed50)
+++ generic/src/synch/semaphore.c	(revision a6dd361b1b93be3250db112f36c9db227c077ff9)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup sync
+/** @addtogroup sync
  * @{
  */
@@ -95,5 +95,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: generic/src/synch/spinlock.c
===================================================================
--- generic/src/synch/spinlock.c	(revision b6529aefe60a3a99601ed01142f3ae38056aed50)
+++ generic/src/synch/spinlock.c	(revision a6dd361b1b93be3250db112f36c9db227c077ff9)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup sync
+/** @addtogroup sync
  * @{
  */
@@ -159,5 +159,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: generic/src/synch/waitq.c
===================================================================
--- generic/src/synch/waitq.c	(revision b6529aefe60a3a99601ed01142f3ae38056aed50)
+++ generic/src/synch/waitq.c	(revision a6dd361b1b93be3250db112f36c9db227c077ff9)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup sync
+/** @addtogroup sync
  * @{
  */
@@ -451,5 +451,4 @@
 }
 
- /** @}
- */
-
+/** @}
+ */