fix repl_show to work when wanted