diff --git a/code/userprog/exception.cc b/code/userprog/exception.cc
index e852696..1827a5e 100644
--- a/code/userprog/exception.cc
+++ b/code/userprog/exception.cc
@@ -165,10 +165,10 @@ ExceptionHandler (ExceptionType which)
             do {
                 char* write = new char[MAX_STRING_SIZE];
                 consoledriver->GetString(write, MAX_STRING_SIZE);
-                printf("write:%s:\n", write);
+                DEBUG('s', "write:%s:\n", write);
                 writesize = copyStringToMachine(addr, write, MAX_STRING_SIZE);
                 addr += writesize;
-                printf("Writed:%d\n", writesize);
+                DEBUG('s', "Writed:%d\n", writesize);
                 delete [] write;
             } while( writesize == MAX_STRING_SIZE - 1 );
             break;