diff --git a/docs/conf.py b/docs/conf.py
index 5484d30..48831a0 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -12,8 +12,8 @@
 # https://www.sphinx-doc.org/en/master/usage/configuration.html#project-information
 
 project = "kani"
-copyright = "2023, Andrew Zhu and Liam Dugan"
-author = "Andrew Zhu and Liam Dugan"
+copyright = "2023, Andrew Zhu, Liam Dugan, and Alyssa Hwang"
+author = "Andrew Zhu, Liam Dugan, and Alyssa Hwang"
 
 # -- General configuration ---------------------------------------------------
 # https://www.sphinx-doc.org/en/master/usage/configuration.html#general-configuration
diff --git a/pyproject.toml b/pyproject.toml
index 5218c1a..b9e1961 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "hatchling.build"
 
 [project]
 name = "kani"
-version = "0.5.0"
+version = "0.5.1"
 authors = [
     { name = "Andrew Zhu", email = "andrew@zhu.codes" },
     { name = "Liam Dugan", email = "ldugan@seas.upenn.edu" },