Finishing up REPL