diff --git a/ChangeLog b/ChangeLog
index ab99306be..ff1310129 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,8 @@
 2017-07-09  Peter Stephenson  <p.w.stephenson@ntlworld.com>
 
+	* unposted: Config/version.mk: update dev version due to
+	wordcode changes.
+
 	* Sebastian: 41402: Src/parse.c: Delay checking tokens in
 	ecstrcode() as may not be needed.
 
diff --git a/Config/version.mk b/Config/version.mk
index 0ebed5e78..3a0a4e973 100644
--- a/Config/version.mk
+++ b/Config/version.mk
@@ -27,5 +27,5 @@
 # This must also serve as a shell script, so do not add spaces around the
 # `=' signs.
 
-VERSION=5.3.1-dev-0
+VERSION=5.3.1-dev-1
 VERSION_DATE='December 22, 2016'