diff --git a/Maps.php b/Maps.php
index c3ac92d96..6bf79ae27 100644
--- a/Maps.php
+++ b/Maps.php
@@ -67,7 +67,7 @@
 		);
 	}
 
-	define( 'Maps_VERSION', '5.5.3 alpha' );
+	define( 'Maps_VERSION', '5.5.3' );
 	define( 'SM_VERSION', Maps_VERSION );
 
 	if ( $GLOBALS['egMapsGMaps3Language'] === '' ) {
diff --git a/RELEASE-NOTES.md b/RELEASE-NOTES.md
index 6fc18bcff..60a5d8a2c 100644
--- a/RELEASE-NOTES.md
+++ b/RELEASE-NOTES.md
@@ -5,10 +5,11 @@ different releases and which versions of PHP and MediaWiki they support, see the
 
 ## Maps 5.5.3
 
-Under development
+Released on July 7th, 2018.
 
 * Fixed `#display_map` parameters `icon` and `visitedicon` when using a namespace prefix (ie. File:FileName.png)
 * Fixed `icon` and `visited icon` modifiers of `#display_map` parameter `locations` when using a namespace prefix
+* Fixed `#display_map` parameter `circle` when using Leaflet
 
 ## Maps 5.5.2