These are the changes to be uploaded on the git website