Fix REPL `help` command bug

It didn't show the prompt after the help message...