remove unnecessary author tags

include/sel4utils/sel4_debug.h

diff --git a/include/sel4utils/sel4_debug.h b/include/sel4utils/sel4_debug.h
index e1358c4..25017c6 100644
--- a/include/sel4utils/sel4_debug.h
+++ b/include/sel4utils/sel4_debug.h
@@ -9,13 +9,6 @@
  */
 
 /*
- Authors: Cristan Szmajda, Ben Leslie
- Description:
-  Program diagnostics as per 7.2
- Status: Complete.
-*/
-
-/*
  * <assert.h> may safely be included multiple times with or without NDEBUG
  */
 #undef sel4_error

src/sel4_debug.c

diff --git a/src/sel4_debug.c b/src/sel4_debug.c
index da8ac35..35c50a1 100644
--- a/src/sel4_debug.c
+++ b/src/sel4_debug.c
@@ -8,10 +8,6 @@
  * @TAG(NICTA_BSD)
  */
 
-/*
-  Authors: Kevin Elphinstone
-*/
-
 #include <stdio.h> /* For fprintf() */
 #include <stdlib.h> /* For abort() */
 #include <sel4utils/sel4_debug.h>