diff --git a/ChangeLog b/ChangeLog
index 3f7199f..b8554ee 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,9 +1,14 @@
-V0.1.1@5.14
+V0.1.2
+---------
+
+Fixed version numbering
+
+V0.1.1
 ---------
 
 * Symbol properties (line colors and width) now apply to the menu button
 
-V0.1@5.14
+V0.1
 ---------
  * First version of the fork (arguably more minimalistic and informative behavior):
    - non-gray colors do not change.
diff --git a/NEWS b/NEWS
index 1300105..8e2439b 100644
--- a/NEWS
+++ b/NEWS
@@ -1,5 +1,5 @@
 Latest version:
 
-	19 Nov 2018, V0.1.1@5.14
+	24 Nov 2018, V0.1.2
 
 See "ChangeLog" for changes.