Index: kernel/arch/ia64/src/ski/ski.c
===================================================================
--- kernel/arch/ia64/src/ski/ski.c	(revision b60c582d0cf4f0476a720c8e05bd742fbffc87ce)
+++ kernel/arch/ia64/src/ski/ski.c	(revision c8bf88d737f715dd3bf256ec6f8bf31e0d3be7e1)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia64	
+/** @addtogroup ia64
  * @{
  */
@@ -79,5 +79,5 @@
 			ski_do_putchar(ch);
 		} else
-			ski_do_putchar(invalch);
+			ski_do_putchar(SPECIAL);
 	}
 }