Fix repl example