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 a7b10710077af5495dbbd8a18f1fb413be7dc5c2)
@@ -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);
 	}
 }