Index: kernel/arch/ia32/include/arch.h
===================================================================
--- kernel/arch/ia32/include/arch.h	(revision 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ kernel/arch/ia32/include/arch.h	(revision df24ec3c3a1cd6ffd5c6b43561155da6c89e4c25)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2005 Martin Decky
+ * Copyright (c) 2005 Martin Decky
  * All rights reserved.
  *