Index: kernel/arch/arm32/src/dummy.S
===================================================================
--- kernel/arch/arm32/src/dummy.S	(revision 999efa910aa347a786e88adecf88756dfaf9ea65)
+++ kernel/arch/arm32/src/dummy.S	(revision bad8d4136b523b5f03e2ad0b94d0023852fecd16)
@@ -1,6 +1,4 @@
 #
-# Copyright (c) 2007 Michal Kebrt
-# Copyright (c) 2007 Pavel Jancik
-# Copyright (c) 2007 Petr Stepan
+# Copyright (c) 2007 Michal Kebrt, Pavel Jancik, Petr Stepan
 # All rights reserved.
 #
Index: kernel/arch/arm32/src/mm/as.c
===================================================================
--- kernel/arch/arm32/src/mm/as.c	(revision 999efa910aa347a786e88adecf88756dfaf9ea65)
+++ kernel/arch/arm32/src/mm/as.c	(revision bad8d4136b523b5f03e2ad0b94d0023852fecd16)
@@ -1,5 +1,4 @@
 /*
- * Copyright (c) 2007 Pavel Jancik
- * Copyright (c) 2007 Michal Kebrt
+ * Copyright (c) 2007 Pavel Jancik, Michal Kebrt
  * All rights reserved.
  *
Index: kernel/arch/arm32/src/mm/frame.c
===================================================================
--- kernel/arch/arm32/src/mm/frame.c	(revision 999efa910aa347a786e88adecf88756dfaf9ea65)
+++ kernel/arch/arm32/src/mm/frame.c	(revision bad8d4136b523b5f03e2ad0b94d0023852fecd16)
@@ -1,5 +1,4 @@
 /*
- * Copyright (c) 2007 Pavel Jancik
- * Copyright (c) 2007 Michal Kebrt
+ * Copyright (c) 2007 Pavel Jancik, Michal Kebrt
  * All rights reserved.
  *
Index: kernel/arch/arm32/src/mm/page.c
===================================================================
--- kernel/arch/arm32/src/mm/page.c	(revision 999efa910aa347a786e88adecf88756dfaf9ea65)
+++ kernel/arch/arm32/src/mm/page.c	(revision bad8d4136b523b5f03e2ad0b94d0023852fecd16)
@@ -1,5 +1,4 @@
 /*
- * Copyright (c) 2007 Pavel Jancik
- * Copyright (c) 2007 Michal Kebrt
+ * Copyright (c) 2007 Pavel Jancik, Michal Kebrt
  * All rights reserved.
  *
Index: kernel/arch/arm32/src/mm/page_fault.c
===================================================================
--- kernel/arch/arm32/src/mm/page_fault.c	(revision 999efa910aa347a786e88adecf88756dfaf9ea65)
+++ kernel/arch/arm32/src/mm/page_fault.c	(revision bad8d4136b523b5f03e2ad0b94d0023852fecd16)
@@ -1,5 +1,4 @@
 /*
- * Copyright (c) 2007 Pavel Jancik
- * Copyright (c) 2007 Michal Kebrt
+ * Copyright (c) 2007 Pavel Jancik, Michal Kebrt
  * All rights reserved.
  *
Index: kernel/arch/arm32/src/userspace.c
===================================================================
--- kernel/arch/arm32/src/userspace.c	(revision 999efa910aa347a786e88adecf88756dfaf9ea65)
+++ kernel/arch/arm32/src/userspace.c	(revision bad8d4136b523b5f03e2ad0b94d0023852fecd16)
@@ -1,5 +1,4 @@
 /*
- * Copyright (c) 2007 Petr Stepan
- * Copyright (c) 2007 Pavel Jancik
+ * Copyright (c) 2007 Petr Stepan, Pavel Jancik
  * All rights reserved.
  *