fix red printing in repl.
.