Fixed shen-html-repl.