fixed up repl-facing demos