typo fix

Typo resolution for the REPL example.