make the repl coloring work again