diff --git a/fs/aio/aio_write.c b/fs/aio/aio_write.c
index a3cf99cabf..30062509e2 100644
--- a/fs/aio/aio_write.c
+++ b/fs/aio/aio_write.c
@@ -141,7 +141,7 @@ static void aio_write_worker(FAR void *arg)
           int errcode = get_errno();
           fdbg("ERROR: fcntl failed: %d\n", errcode);
           aiocbp->aio_result = -errcode;
-          goto errout:
+          goto errout;
         }
 
       /* Perform the write using:
diff --git a/sched/wqueue/kwork_process.c b/sched/wqueue/kwork_process.c
index ea3d4e6d70..ef044a08e8 100644
--- a/sched/wqueue/kwork_process.c
+++ b/sched/wqueue/kwork_process.c
@@ -42,6 +42,7 @@
 #include <stdint.h>
 #include <unistd.h>
 #include <signal.h>
+#include <assert.h>
 #include <queue.h>
 
 #include <nuttx/clock.h>