diff --git a/docs/source/conf.py b/docs/source/conf.py
index 28f30f31..afb08e54 100644
--- a/docs/source/conf.py
+++ b/docs/source/conf.py
@@ -22,7 +22,7 @@
 project = 'punctilious'
 copyright = '2023, David Doret'
 author = 'David Doret'
-release = "1.0.8"
+release = "1.0.9"
 
 # -- General configuration ---------------------------------------------------
 # https://www.sphinx-doc.org/en/master/usage/configuration.html#general-configuration
diff --git a/pyproject.toml b/pyproject.toml
index 7df8df79..d8ea9ffe 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -1,6 +1,6 @@
 [project]
 name = "punctilious"
-version = "1.0.8"
+version = "1.0.9"
 authors = [{ name = "David Doret", email = "david.doret@icloud.com" }]
 keywords = ["math", "mathematics", "proof", "proof assistant", "math proof assistant", "formal system", ]
 description = "A human-friendly and developer-friendly math proof assistant"
@@ -40,7 +40,7 @@ addopts = [
     "--import-mode=importlib",
 ]
 [tool.bumpver]
-current_version = "1.0.8"
+current_version = "1.0.9"
 version_pattern = "MAJOR.MINOR.PATCH"
 commit_message = "bump version {old_version} -> {new_version}"
 tag_message = "v{new_version}"
diff --git a/src/punctilious/__init__.py b/src/punctilious/__init__.py
index 50b3e53d..a809f944 100644
--- a/src/punctilious/__init__.py
+++ b/src/punctilious/__init__.py
@@ -1,7 +1,7 @@
 """Punctilious: punctilious/__init__.py
 
 """
-__version__ = "1.0.8"
+__version__ = "1.0.9"
 
 from punctilious.plaintext import force_plaintext, Plaintext, unidecode
 from punctilious.repm import monospace, prnt, serif_bold
diff --git a/src/sample/__init__.py b/src/sample/__init__.py
index cd6c1df3..f4aa553c 100644
--- a/src/sample/__init__.py
+++ b/src/sample/__init__.py
@@ -1,2 +1,2 @@
 """This python module contains sample python scripts that illustrate *punctilious* usage."""
-__version__ = "1.0.8"
+__version__ = "1.0.9"
diff --git a/src/theory/__init__.py b/src/theory/__init__.py
index 52a722d2..2c13d26b 100644
--- a/src/theory/__init__.py
+++ b/src/theory/__init__.py
@@ -1,4 +1,4 @@
 """This python module contains mathematical theories formalized with *punctilious*."""
-__version__ = "1.0.8"
+__version__ = "1.0.9"
 
 from theory.theory_tao_2006_the_peano_axioms import Tao2006ThePeanoAxioms