fix URL for binding.repl