Index: kernel/arch/ia32/src/boot/boot.S
===================================================================
--- kernel/arch/ia32/src/boot/boot.S	(revision f476e76f55d2a90975277593ea1bcc21fb6d523c)
+++ kernel/arch/ia32/src/boot/boot.S	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,5 +1,5 @@
 #
-# Copyright (C) 2001-2004 Jakub Jermar
-# Copyright (C) 2005-2006 Martin Decky
+# Copyright (c) 2001-2004 Jakub Jermar
+# Copyright (c) 2005-2006 Martin Decky
 # All rights reserved.
 #
