2 files changed, 2 insertions, 2 deletions

diff --git a/firmware/id3.c b/firmware/id3.c
index eb0c4b80b8..cd5d978b29 100644
--- a/firmware/id3.c
+++ b/firmware/id3.c
@@ -203,7 +203,7 @@ static int read_unsynched(int fd, void *buf, int len)
     }
 
     return len;
-};
+}
 
 static int skip_unsynched(int fd, int len)
 {
diff --git a/firmware/kernel.c b/firmware/kernel.c
index 84fb438b49..ec2c149cc5 100644
--- a/firmware/kernel.c
+++ b/firmware/kernel.c
@@ -35,7 +35,7 @@ static struct event_queue *all_queues[32];
 static int num_queues;
 
 void sleep(int ticks) __attribute__ ((section(".icode")));
-void queue_wait(struct event_queue *q, struct event *ev) __attribute__ ((section(".icode")));;
+void queue_wait(struct event_queue *q, struct event *ev) __attribute__ ((section(".icode")));
 
 /****************************************************************************
  * Standard kernel stuff