Index: kernel/arch/arm32/src/dummy.S
===================================================================
--- kernel/arch/arm32/src/dummy.S	(revision 6b781c0c856d94b3114ccd6375bc6667a19e9bfe)
+++ kernel/arch/arm32/src/dummy.S	(revision f5211ee53a2e4b4d0d9b9d070fa3e1fcc7a57176)
@@ -1,4 +1,4 @@
 #
-# Copyright (c) 2007 Michal Kebry, Pavel Jancik, Petr Stepan
+# Copyright (c) 2007 Michal Kebrt, Pavel Jancik, Petr Stepan
 # All rights reserved.
 #