diff --git a/CHANGELOG.md b/CHANGELOG.md
index e6b9d8e4..9a941be3 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -4,6 +4,9 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to
 [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+### [ita-challenges-frontend-3.1.13-RELEASE]
+
+* Hide progression filter if user is not logged in
 
 ### [ita-challenges-frontend-3.1.10-RELEASE]
 
diff --git a/GUIDELINES.md b/GUIDELINES.md
index 4b2db443..08680712 100644
--- a/GUIDELINES.md
+++ b/GUIDELINES.md
@@ -303,7 +303,7 @@ All features developed are deployed on the develop server for testing when are a
 - Make sure your feature branch is up to date with the develop branch.
 - Make sure the name of your feature branch is right (feature/#X).
 - Follow semantic versioning (https://semver.org/), and update version number in package.json.
-- Update version number (property MICROSERVICE_VERSION) at file .env.CI.dev as well. Make sure both versions are the same. There should be a white line at the end of the file.
-- Make necesary annotations at file CHANGELOG.md 
+- Update version number (property MICROSERVICE_VERSION) at file **.env.CI.dev** and **package.json** as well. Make sure both versions are the same. There should be a white line at the end of the file.
+- Make necesary annotations at file **CHANGELOG.md** 
 - Push your changes to the remote repository.
 - Create a pull request from your feature branch to the develop branch.
diff --git a/package.json b/package.json
index c6eb49c9..102f62c7 100755
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "ita-challenges-frontend",
-  "version": "3.1.12-RELEASE",
+  "version": "3.1.13-RELEASE",
   "scripts": {
     "ng": "ng",
     "start": "ng serve --proxy-config proxy.conf.dev.json",