small fix of message printing.