Updated show() and repl().