diff --git a/gui.js b/gui.js
index b8c438d0..4923db8c 100644
--- a/gui.js
+++ b/gui.js
@@ -75,7 +75,7 @@ isRetinaSupported, SliderMorph, Animation, BoxMorph, MediaRecorder*/
// Global stuff ////////////////////////////////////////////////////////
-modules.gui = '2018-March-09';
+modules.gui = '2018-March-13';
// Declarations
@@ -3499,7 +3499,7 @@ IDE_Morph.prototype.aboutSnap = function () {
module, btn1, btn2, btn3, btn4, licenseBtn, translatorsBtn,
world = this.world();
- aboutTxt = 'Snap! 4.1.2.4\nBuild Your Own Blocks\n\n'
+ aboutTxt = 'Snap! 4.1.2.5\nBuild Your Own Blocks\n\n'
+ 'Copyright \u24B8 2018 Jens M\u00F6nig and '
+ 'Brian Harvey\n'
+ 'jens@moenig.org, bh@cs.berkeley.edu\n\n'
diff --git a/history.txt b/history.txt
index 436bc4fc..72ffa25a 100755
--- a/history.txt
+++ b/history.txt
@@ -4025,3 +4025,5 @@ Translation Updates:
180313
------
* Objects: draw a "dot" pentrail when moving zero steps while the pen is down
+
+=== v4.1.2.5 maintenance release ===
diff --git a/snap.html b/snap.html
index d97be092..72cee723 100755
--- a/snap.html
+++ b/snap.html
@@ -2,14 +2,14 @@
- Snap! Build Your Own Blocks 4.1.2.4
+ Snap! Build Your Own Blocks 4.1.2.5
-
-
+
+