Finishing repl.rst