diff --git a/CHANGELOG.md b/CHANGELOG.md
index 676ed11..b7dfadb 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -5,6 +5,12 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](http://keepachangelog.com/en/1.0.0/)
 and this project adheres to [Semantic Versioning](http://semver.org/spec/v2.0.0.html).
 
+## [Unreleased]
+
+### Added
+
+### Changed
+
 ## [1.3.0] - 2022-07-08
 
 ### Changed
diff --git a/etc/options b/etc/options
index cf3376e..27aa370 100644
--- a/etc/options
+++ b/etc/options
@@ -8,7 +8,7 @@ public option dof_template : string = "scrreprt-modern"
 public option dof_ontologies : string = "Isabelle_DOF.technical_report Isabelle_DOF.scholarly_paper"
   -- "Isabelle/DOF ontologies (separated by blanks)"
 
-option dof_version : string = "1.3.0" 
+option dof_version : string = "Unreleased" 
   -- "Isabelle/DOF version" 
      (* "Unreleased" for development, semantic version for releases *)