diff --git a/VERSION b/VERSION
index 44bb5d1f..79a2734b 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-0.4.1
\ No newline at end of file
+0.5.0
\ No newline at end of file
diff --git a/cozo-core/Cargo.toml b/cozo-core/Cargo.toml
index 56339903..c82410cd 100644
--- a/cozo-core/Cargo.toml
+++ b/cozo-core/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "cozo"
-version = "0.4.1"
+version = "0.5.0"
 edition = "2021"
 description = "A general-purpose, transactional, relational database that uses Datalog and focuses on graph data and algorithms"
 authors = ["Ziyang Hu"]
diff --git a/cozo-lib-c/Cargo.toml b/cozo-lib-c/Cargo.toml
index 42406496..f495331f 100644
--- a/cozo-lib-c/Cargo.toml
+++ b/cozo-lib-c/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "cozo_c"
-version = "0.4.1"
+version = "0.5.0"
 edition = "2021"
 license = "MPL-2.0"
 homepage = "https://www.cozodb.org"
@@ -38,7 +38,7 @@ io-uring = ["cozo/io-uring"]
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-cozo = { version = "0.4.1", path = "../cozo-core", default_features = false }
+cozo = { version = "0.5.0", path = "../cozo-core", default_features = false }
 lazy_static = "1.4.0"
 
 [build-dependencies]
diff --git a/cozo-lib-java/Cargo.toml b/cozo-lib-java/Cargo.toml
index 0c05cfcf..ab48bab2 100644
--- a/cozo-lib-java/Cargo.toml
+++ b/cozo-lib-java/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "cozo_java"
-version = "0.4.1"
+version = "0.5.0"
 edition = "2021"
 license = "MPL-2.0"
 homepage = "https://www.cozodb.org"
@@ -40,5 +40,5 @@ io-uring = ["cozo/io-uring"]
 [dependencies]
 jni = "0.20.0"
 # , features = ["compact"]
-cozo = { version = "0.4.1", path = "../cozo-core", default_features = false, features = ["compact"] }
+cozo = { version = "0.5.0", path = "../cozo-core", default_features = false, features = ["compact"] }
 lazy_static = "1.4.0"
diff --git a/cozo-lib-nodejs/Cargo.toml b/cozo-lib-nodejs/Cargo.toml
index 8abfa700..afb789ce 100644
--- a/cozo-lib-nodejs/Cargo.toml
+++ b/cozo-lib-nodejs/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "cozo-node"
-version = "0.4.1"
+version = "0.5.0"
 description = "Cozo database for NodeJS"
 authors = ["Ziyang Hu"]
 license = "MPL-2.0"
@@ -40,7 +40,7 @@ io-uring = ["cozo/io-uring"]
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-cozo = { version = "0.4.1", path = "../cozo-core", default-features = false }
+cozo = { version = "0.5.0", path = "../cozo-core", default-features = false }
 lazy_static = "1.4.0"
 
 [dependencies.neon]
diff --git a/cozo-lib-nodejs/README-zh.md b/cozo-lib-nodejs/README-zh.md
index b18d643c..6ce93638 100644
--- a/cozo-lib-nodejs/README-zh.md
+++ b/cozo-lib-nodejs/README-zh.md
@@ -12,7 +12,7 @@ NodeJS 的嵌入式 [CozoDB](https://www.cozodb.org) 库。
 npm install --save cozo-node
 ```
 
-安装过程中需要从 [GitHub 发布页](https://github.com/cozodb/cozo-lib-nodejs/releases/tag/0.4.1) 下载二进制文件。如果因为网络问题失败，可以使用此 [镜像](https://github.com/cozodb/cozo-lib-nodejs/releases/tag/0.4.1) ，使用方法为
+安装过程中需要从 [GitHub 发布页](https://github.com/cozodb/cozo-lib-nodejs/releases/tag/0.5.0) 下载二进制文件。如果因为网络问题失败，可以使用此 [镜像](https://github.com/cozodb/cozo-lib-nodejs/releases/tag/0.4.1) ，使用方法为
 
 ```bash
 npm install --save cozo-node --cozo_node_prebuilt_binary_host_mirror=https://gitee.com/cozodb/cozo-lib-nodejs/releases/download/
diff --git a/cozo-lib-nodejs/package.json b/cozo-lib-nodejs/package.json
index b07fb2a6..51ad90f3 100644
--- a/cozo-lib-nodejs/package.json
+++ b/cozo-lib-nodejs/package.json
@@ -1,6 +1,6 @@
 {
   "name": "cozo-node",
-  "version": "0.4.1",
+  "version": "0.5.0",
   "description": "Cozo database for NodeJS",
   "main": "index",
   "files": [
diff --git a/cozo-lib-python/Cargo.toml b/cozo-lib-python/Cargo.toml
index 76a6847c..551dec67 100644
--- a/cozo-lib-python/Cargo.toml
+++ b/cozo-lib-python/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "cozo_py"
-version = "0.4.1"
+version = "0.5.0"
 edition = "2021"
 description = "Cozo database for python"
 authors = ["Ziyang Hu"]
@@ -41,5 +41,5 @@ io-uring = ["cozo/io-uring"]
 
 
 [dependencies]
-cozo = { version = "0.4.1", path = "../cozo-core", default-features = false }
+cozo = { version = "0.5.0", path = "../cozo-core", default-features = false }
 pyo3 = { version = "0.17.1", features = ["extension-module", "abi3", "abi3-py37"] }
diff --git a/cozo-lib-swift/Cargo.toml b/cozo-lib-swift/Cargo.toml
index 4a919704..ff7e6ff2 100644
--- a/cozo-lib-swift/Cargo.toml
+++ b/cozo-lib-swift/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "cozo-swift"
-version = "0.4.1"
+version = "0.5.0"
 edition = "2021"
 description = "Cozo database for Swift"
 authors = ["Ziyang Hu"]
@@ -40,5 +40,5 @@ io-uring = ["cozo/io-uring"]
 swift-bridge-build = "0.1.41"
 
 [dependencies]
-cozo = { version = "0.4.1", path = "../cozo-core", default-features = false }
+cozo = { version = "0.5.0", path = "../cozo-core", default-features = false }
 swift-bridge = "0.1.41"
diff --git a/cozo-lib-swift/CozoSwiftBridge.podspec b/cozo-lib-swift/CozoSwiftBridge.podspec
index 41886fc3..618cbc53 100644
--- a/cozo-lib-swift/CozoSwiftBridge.podspec
+++ b/cozo-lib-swift/CozoSwiftBridge.podspec
@@ -1,6 +1,6 @@
 Pod::Spec.new do |spec|
   spec.name         = "CozoSwiftBridge"
-  spec.version      = "0.4.1"
+  spec.version      = "0.5.0"
   spec.summary      = "CozoDB for Swift"
   spec.description  = "This library allows you to use CozoDB embedded in your Swift application"
   spec.homepage     = "https://github.com/cozodb/cozo/"
diff --git a/cozo-lib-swift/README-zh.md b/cozo-lib-swift/README-zh.md
index 5fadaf22..59a613ca 100644
--- a/cozo-lib-swift/README-zh.md
+++ b/cozo-lib-swift/README-zh.md
@@ -16,7 +16,7 @@
 target 'YourApp' do
   use_frameworks!
 
-  pod 'CozoSwiftBridge', '~> 0.4.1'
+  pod 'CozoSwiftBridge', '~> 0.5.0'
 end
 ```
 
diff --git a/cozo-lib-swift/README.md b/cozo-lib-swift/README.md
index 78cf9bbc..78c897d1 100644
--- a/cozo-lib-swift/README.md
+++ b/cozo-lib-swift/README.md
@@ -19,7 +19,7 @@ see the Building section below.
 target 'YourApp' do
   use_frameworks!
 
-  pod 'CozoSwiftBridge', '~> 0.4.1'
+  pod 'CozoSwiftBridge', '~> 0.5.0'
 end
 ```
 
diff --git a/cozo-lib-wasm/Cargo.toml b/cozo-lib-wasm/Cargo.toml
index 86075681..22ae82f6 100644
--- a/cozo-lib-wasm/Cargo.toml
+++ b/cozo-lib-wasm/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "cozo-lib-wasm"
-version = "0.4.1"
+version = "0.5.0"
 edition = "2021"
 description = "Cozo database for WASM"
 authors = ["Ziyang Hu"]
@@ -17,7 +17,7 @@ default = ["console_error_panic_hook"]
 
 [dependencies]
 wasm-bindgen = "0.2.63"
-cozo = { version = "0.4.1", path = "../cozo-core", default-features = false, features = ["wasm"] }
+cozo = { version = "0.5.0", path = "../cozo-core", default-features = false, features = ["wasm"] }
 
 # The `console_error_panic_hook` crate provides better debugging of panics by
 # logging them with `console.error`. This is great for development, but requires
diff --git a/cozoserver/Cargo.toml b/cozoserver/Cargo.toml
index 54638496..c46aaeb3 100644
--- a/cozoserver/Cargo.toml
+++ b/cozoserver/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "cozoserver"
-version = "0.4.1"
+version = "0.5.0"
 edition = "2021"
 license = "MPL-2.0"
 description = "Standalone Cozo database"
@@ -42,7 +42,7 @@ storage-tikv = ["cozo/storage-tikv"]
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-cozo = { version = "0.4.1", path = "../cozo-core", default-features = false }
+cozo = { version = "0.5.0", path = "../cozo-core", default-features = false }
 clap = { version = "4.0.26", features = ["derive"] }
 rouille = "3.5.0"
 env_logger = "0.10.0"
diff --git a/cozoserver/src/main.rs b/cozoserver/src/main.rs
index 2c325303..8e896044 100644
--- a/cozoserver/src/main.rs
+++ b/cozoserver/src/main.rs
@@ -95,10 +95,13 @@ fn main() {
                 .run_script("::running", Default::default())
                 .expect("Cannot determine running queries");
             for row in running.rows {
-                let id = row.into_iter().next().unwrap();
+                let id = row.into_iter().next().unwrap().get_int().unwrap();
                 eprintln!("Killing running query {id}");
                 db_copy
-                    .run_script("::kill $id", BTreeMap::from([("id".to_string(), id)]))
+                    .run_script(
+                        "::kill $id",
+                        BTreeMap::from([("id".to_string(), json!(id))]),
+                    )
                     .expect("Cannot kill process");
             }
         })