Updates for repl, version numbers