Index: kernel/generic/src/synch/waitq.c
===================================================================
--- kernel/generic/src/synch/waitq.c	(revision 11b285d87da6e1d6a1d65134694b4f971f3cdebc)
+++ kernel/generic/src/synch/waitq.c	(revision 86b70c6fa1a6e0fc138e6294cb6cfe8bda4535d3)
@@ -441,5 +441,6 @@
 	THREAD->sleep_queue = wq;
 
-	/* Must be before entry to scheduler, because there are multiple
+	/*
+	 * Must be before entry to scheduler, because there are multiple
 	 * return vectors.
 	 */
Index: kernel/generic/src/synch/workqueue.c
===================================================================
--- kernel/generic/src/synch/workqueue.c	(revision 11b285d87da6e1d6a1d65134694b4f971f3cdebc)
+++ kernel/generic/src/synch/workqueue.c	(revision 86b70c6fa1a6e0fc138e6294cb6cfe8bda4535d3)
@@ -424,5 +424,5 @@
  *                  until func() is entered.
  * @param func      User supplied function to invoke in a worker thread.
-
+ *
  * @return false if work queue is shutting down; function is not
  *               queued for further processing.
@@ -444,5 +444,5 @@
  *                  until func() is entered.
  * @param func      User supplied function to invoke in a worker thread.
-
+ *
  * @return false if work queue is shutting down; function is not
  *               queued for further processing.
@@ -469,5 +469,5 @@
  * @param func      User supplied function to invoke in a worker thread.
  * @param can_block May adding this work item block?
-
+ *
  * @return false if work queue is shutting down; function is not
  *               queued for further processing.