Index: kernel/arch/ppc64/src/drivers/pic.c
===================================================================
--- kernel/arch/ppc64/src/drivers/pic.c	(revision e60293d6039a24b3d36a35e0b4d938dacd250a49)
+++ kernel/arch/ppc64/src/drivers/pic.c	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Ondrej Palkovsky
+ * Copyright (c) 2006 Ondrej Palkovsky
  * All rights reserved.
  *