Added more REPL info.