added default REPL ns option