Index: kernel/arch/ia32xen/include/mm/as.h
===================================================================
--- kernel/arch/ia32xen/include/mm/as.h	(revision 8cd140f26dd9503acc9c3b85b265d95ff017cea4)
+++ kernel/arch/ia32xen/include/mm/as.h	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Jakub Jermar
+ * Copyright (c) 2005 Jakub Jermar
  * All rights reserved.
  *
Index: kernel/arch/ia32xen/include/mm/asid.h
===================================================================
--- kernel/arch/ia32xen/include/mm/asid.h	(revision 8cd140f26dd9503acc9c3b85b265d95ff017cea4)
+++ kernel/arch/ia32xen/include/mm/asid.h	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Jakub Jermar
+ * Copyright (c) 2005 Jakub Jermar
  * All rights reserved.
  *
Index: kernel/arch/ia32xen/include/mm/frame.h
===================================================================
--- kernel/arch/ia32xen/include/mm/frame.h	(revision 8cd140f26dd9503acc9c3b85b265d95ff017cea4)
+++ kernel/arch/ia32xen/include/mm/frame.h	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Martin Decky
+ * Copyright (c) 2006 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ia32xen/include/mm/memory_init.h
===================================================================
--- kernel/arch/ia32xen/include/mm/memory_init.h	(revision 8cd140f26dd9503acc9c3b85b265d95ff017cea4)
+++ kernel/arch/ia32xen/include/mm/memory_init.h	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Martin Decky
+ * Copyright (c) 2006 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ia32xen/include/mm/page.h
===================================================================
--- kernel/arch/ia32xen/include/mm/page.h	(revision 8cd140f26dd9503acc9c3b85b265d95ff017cea4)
+++ kernel/arch/ia32xen/include/mm/page.h	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Martin Decky
+ * Copyright (c) 2006 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ia32xen/include/mm/tlb.h
===================================================================
--- kernel/arch/ia32xen/include/mm/tlb.h	(revision 8cd140f26dd9503acc9c3b85b265d95ff017cea4)
+++ kernel/arch/ia32xen/include/mm/tlb.h	(revision 73404e21cf67b3c15d6cd0f6eeda1405510a76b1)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Jakub Jermar
+ * Copyright (c) 2005 Jakub Jermar
  * All rights reserved.
  *