better names in repl