diff --git a/Game.lean b/Game.lean
index 201d563..5b2b9da 100644
--- a/Game.lean
+++ b/Game.lean
@@ -16,7 +16,7 @@ Introduction
 "
 # Natural Number Game
 
-##### version 3.0.2
+##### version 4.0.1
 
 *(note that this ported version of the NNG is still a bit rough around the edges
 and will experience some more love soon.)*