Fix typos in 2000-01-05-repl.md