Added proper show() and repl_show()