issue #133 - small cleanup in repl