Simplify logic for setVerbose in REPL

This seems to do the same, right?