Fixed REPL example
Removed annotations